| Server IP : 13.126.101.145 / Your IP : 216.73.217.50 Web Server : Apache/2.4.52 (Ubuntu) System : Linux ip-11-115-0-196 6.8.0-1039-aws #41~22.04.1-Ubuntu SMP Thu Sep 11 10:54:48 UTC 2025 x86_64 User : www-data ( 33) PHP Version : 8.3.17 Disable Function : NONE MySQL : OFF | cURL : ON | WGET : ON | Perl : ON | Python : OFF | Sudo : ON | Pkexec : ON Directory : /var/lib/dpkg/info/ |
Upload File : |
#!/bin/dash
#
# pre-removal script for the Debian GNU/Linux ash package
#
# $Id: dash.prerm,v 1.2 2003/09/03 10:42:08 herbert Exp $
set -e
remove_divert() {
diverter=$(dpkg-divert --listpackage $1)
if [ "$diverter" = "dash" ]; then
dpkg-divert --package dash --rename --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