1 2 3 4 5 6 7 8
#! /bin/bash -e if [ $1 != "upgrade" ]; then update-alternatives --remove builtins.7.gz \ /usr/share/man/man7/bash-builtins.7.gz fi #DEBHELPER#