1
0
Fork 0
bash/debian/bash.prerm
Daniel Baumann fc8a52c443
Adding debian version 5.2.37-2.
Signed-off-by: Daniel Baumann <daniel.baumann@progress-linux.org>
2025-06-21 06:49:22 +02:00

22 lines
300 B
Bash

#! /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
#DEBHELPER#