Filename: //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

./Ninja\.