Mini Shell
Mini Shell
| Direktori : /var/lib/dpkg/info/ |
| Current File : //var/lib/dpkg/info/bash.prerm |
#! /bin/bash
set -e
case "$1" in
upgrade)
update-alternatives --remove builtins.7.gz \
/usr/share/man/man7/bash-builtins.7.gz
;;
remove|deconfigure)
;;
failed-upgrade)
;;
*)
echo "prerm called with unknown argument \`$1'" >&2
exit 1
;;
esac