diff options
| -rw-r--r-- | debian/postinst | 4 | ||||
| -rw-r--r-- | debian/postrm | 4 | ||||
| -rw-r--r-- | debian/prerm | 4 |
3 files changed, 9 insertions, 3 deletions
diff --git a/debian/postinst b/debian/postinst index b78543b1b..b4402abab 100644 --- a/debian/postinst +++ b/debian/postinst @@ -1,4 +1,6 @@ -#!/bin/sh -e +#!/bin/sh + +set -e case "$1" in (configure) diff --git a/debian/postrm b/debian/postrm index 3ef3d2d38..974675812 100644 --- a/debian/postrm +++ b/debian/postrm @@ -1,4 +1,6 @@ -#!/bin/sh -e +#!/bin/sh + +set -e if test -x /usr/bin/update-menus ; then update-menus ; fi diff --git a/debian/prerm b/debian/prerm index 76064add2..88bf16954 100644 --- a/debian/prerm +++ b/debian/prerm @@ -1,4 +1,6 @@ -#!/bin/sh -e +#!/bin/sh + +set -e case "$1" in (remove|deconfigure) |