diff options
Diffstat (limited to '')
| -rw-r--r-- | debian/dash.prerm | 36 |
1 files changed, 0 insertions, 36 deletions
diff --git a/debian/dash.prerm b/debian/dash.prerm deleted file mode 100644 index 8890367..0000000 --- a/debian/dash.prerm +++ /dev/null @@ -1,36 +0,0 @@ -#!/bin/sh -# -# pre-removal script for the Debian GNU/Linux ash package -# -# $Id$ - -set -e - -remove_divert() { - div=$(dpkg-divert --list $1) - if [ -n "$div" ] && [ -z "${div%%*by dash}" ]; then - distrib=${div% by dash} - distrib=${distrib##* to } - mv $distrib $1 - dpkg-divert --remove $1 - fi -} - -remove_shell() { - if ! type remove-shell > /dev/null 2>&1; then - return - fi - - remove-shell /bin/dash -} - -if [ "$1" = remove ] || [ "$1" = deconfigure ]; then - remove_divert /bin/sh - remove_divert /usr/share/man/man1/sh.1.gz -fi - -if [ "$1" = remove ]; then - remove_shell -fi - -#DEBHELPER# |