diff options
author | ivan <ivan> | 2001-06-05 21:40:55 +0000 |
---|---|---|
committer | ivan <ivan> | 2001-06-05 21:40:55 +0000 |
commit | e1ae1a59b53ec391cc1b9442afd4b9f1f0f31730 (patch) | |
tree | cde00d219257162a7965fdf6c5bc3bad807c733f /debian/prerm.ex | |
parent | e006c6e8ce11b3db53d5cd88b81092bf727f3080 (diff) |
add deb packaging foo (doesn't work yet)
Diffstat (limited to 'debian/prerm.ex')
-rw-r--r-- | debian/prerm.ex | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/debian/prerm.ex b/debian/prerm.ex new file mode 100644 index 000000000..ebb87c540 --- /dev/null +++ b/debian/prerm.ex @@ -0,0 +1,37 @@ +#! /bin/sh +# prerm script for freeside +# +# see: dh_installdeb(1) + +set -e + +# summary of how this script can be called: +# * <prerm> `remove' +# * <old-prerm> `upgrade' <new-version> +# * <new-prerm> `failed-upgrade' <old-version> +# * <conflictor's-prerm> `remove' `in-favour' <package> <new-version> +# * <deconfigured's-prerm> `deconfigure' `in-favour' +# <package-being-installed> <version> `removing' +# <conflicting-package> <version> +# for details, see /usr/share/doc/packaging-manual/ + +case "$1" in + remove|upgrade|deconfigure) +# install-info --quiet --remove /usr/info/freeside.info.gz + ;; + failed-upgrade) + ;; + *) + echo "prerm called with unknown argument \`$1'" >&2 + exit 0 + ;; +esac + +# dh_installdeb will replace this with shell code automatically +# generated by other debhelper scripts. + +#DEBHELPER# + +exit 0 + + |