Update coding style of maintainer scripts

diff --git a/debian/postinst b/debian/postinst
index 1f23e248d0dc211a8442c8b6786c7c6ca2a49cf1..4b72a600ff1e64307346e2c6265488e6e4c51910 100755 (executable)
--- a/debian/postinst
+++ b/debian/postinst
@@ -3,14 +3,14 @@
 set -e
 
 # Add a user to own the password history database.
-if ! getent passwd _history >/dev/null ; then
+if ! getent passwd _history >/dev/null; then
     echo 'Adding system user for password history' 1>&2
     adduser --disabled-login --quiet --system --no-create-home \
         --home /var/lib/heimdal-history --force-badname --group _history
 fi
 
 # Create the directory for the history database, owned by the history user.
-if [ ! -d /var/lib/heimdal-history ] ; then
+if [ ! -d /var/lib/heimdal-history ]; then
     mkdir /var/lib/heimdal-history
     chown _history:_history /var/lib/heimdal-history
 fi

diff --git a/debian/postrm b/debian/postrm
index d5812bfac5699f64e59d4287ec9640ac6c6863b0..e5fec072578b7da7c9dd66b2d6c19f2dc4d98962 100755 (executable)
--- a/debian/postrm
+++ b/debian/postrm
@@ -4,16 +4,16 @@ set -e
 
 # Purge the password history database and remove the _history user and group
 # on package purge.  This user should not be used for any other purpose.
-if [ "$1" = purge ] ; then
-    for file in history.db history.db.lock lengths.db lengths.db.lock ; do
+if [ "$1" = purge ]; then
+    for file in history.db history.db.lock lengths.db lengths.db.lock; do
         rm -f "/var/lib/heimdal-history/$file"
     done
     deluser --quiet --system _history >/dev/null || true
 fi
 
 # Remove the directory for the password history database on remove if empty.
-if [ "$1" = purge ] || [ "$1" = remove ] ; then
-    if [ -d /var/lib/heimdal-history ] ; then
+if [ "$1" = purge ] || [ "$1" = remove ]; then
+    if [ -d /var/lib/heimdal-history ]; then
         rmdir --ignore-fail-on-non-empty /var/lib/heimdal-history
     fi
 fi