diff options
| -rw-r--r-- | debian/static.postinst | 4 | ||||
| -rw-r--r-- | debian/static.postrm | 4 | ||||
| -rw-r--r-- | debian/static.prerm | 4 |
3 files changed, 9 insertions, 3 deletions
diff --git a/debian/static.postinst b/debian/static.postinst index 180da9ba5..4bf276a3a 100644 --- a/debian/static.postinst +++ b/debian/static.postinst @@ -1,4 +1,6 @@ -#!/bin/sh -e +#!/bin/sh + +set -e case "$1" in (configure) diff --git a/debian/static.postrm b/debian/static.postrm index 0ca3c8aed..ae0c1d682 100644 --- a/debian/static.postrm +++ b/debian/static.postrm @@ -1,4 +1,6 @@ -#!/bin/sh -e +#!/bin/sh + +set -e case "$1" in (remove) diff --git a/debian/static.prerm b/debian/static.prerm index f54abb6dd..d41adf11d 100644 --- a/debian/static.prerm +++ b/debian/static.prerm @@ -1,4 +1,6 @@ -#!/bin/sh -e +#!/bin/sh + +set -e case "$1" in remove|deconfigure) |