1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
|
#! /bin/sh
# prerm script for mksh
#
# see: dh_installdeb(1)
set -e
remove_divert() {
div=$(dpkg-divert --list $1)
if [ -n "$div" ] && [ -z "${div%%*by mksh}" ]; then
distrib=${div% by mksh}
distrib=${distrib##* to }
mv $distrib $1
dpkg-divert --remove $1
fi
}
if [ "$1" = remove ] || [ "$1" = deconfigure ]; then
remove_divert /bin/sh
remove_divert /usr/share/man/man1/sh.1.gz
fi
case "$1" in
remove|upgrade|deconfigure)
update-alternatives --remove ksh /bin/mksh
update-alternatives --remove ksh /bin/mksh-static
remove-shell /bin/mksh
remove-shell /bin/mksh-static
;;
failed-upgrade)
;;
*)
echo "prerm 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
|
