diff options
author | Jakob Odersky <jakob@odersky.com> | 2017-02-09 22:19:01 -0800 |
---|---|---|
committer | Jakob Odersky <jakob@odersky.com> | 2017-02-09 22:19:01 -0800 |
commit | 05667e53765583fc40eb2f9eedf32511fd528f8a (patch) | |
tree | 5b9d38ec1655c22ccf38e81d6a11e034b6e8ca3a /debian/mavigator.postinst | |
parent | 020a5f26d498aa4a1d2c892899e3802b3487700b (diff) | |
download | mavigator-05667e53765583fc40eb2f9eedf32511fd528f8a.tar.gz mavigator-05667e53765583fc40eb2f9eedf32511fd528f8a.tar.bz2 mavigator-05667e53765583fc40eb2f9eedf32511fd528f8a.zip |
Add debian packaging
Diffstat (limited to 'debian/mavigator.postinst')
-rw-r--r-- | debian/mavigator.postinst | 41 |
1 files changed, 41 insertions, 0 deletions
diff --git a/debian/mavigator.postinst b/debian/mavigator.postinst new file mode 100644 index 0000000..12708d9 --- /dev/null +++ b/debian/mavigator.postinst @@ -0,0 +1,41 @@ +#!/bin/sh +# postinst script for mavigator +# +# see: dh_installdeb(1) + +set -e + +# summary of how this script can be called: +# * <postinst> `configure' <most-recently-configured-version> +# * <old-postinst> `abort-upgrade' <new version> +# * <conflictor's-postinst> `abort-remove' `in-favour' <package> +# <new-version> +# * <postinst> `abort-remove' +# * <deconfigured's-postinst> `abort-deconfigure' `in-favour' +# <failed-install-package> <version> `removing' +# <conflicting-package> <version> +# for details, see https://www.debian.org/doc/debian-policy/ or +# the debian-policy package + + +case "$1" in + configure) + adduser --system --disabled-password --disabled-login --home /var/empty \ + --no-create-home --quiet --force-badname --group mavigator + ;; + + abort-upgrade|abort-remove|abort-deconfigure) + ;; + + *) + echo "postinst called with unknown argument \`$1'" >&2 + exit 1 + ;; +esac + +# dh_installdeb will replace this with shell code automatically +# generated by other debhelper scripts. + +#DEBHELPER# + +exit 0 |