diff options
Diffstat (limited to 'debian/prerm')
| -rw-r--r-- | debian/prerm | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/debian/prerm b/debian/prerm index 6bc7471..8058a72 100644 --- a/debian/prerm +++ b/debian/prerm @@ -1,5 +1,7 @@ #!/bin/sh +set -e + if [ "$1" = remove ]; then # Remove alternative for figlet update-alternatives --remove figlet /usr/bin/figlet-figlet |