debian/postinst
changeset 79 95e7bd43980c
parent 76 a4f16a69251e
child 82 8ac198281a6c
--- a/debian/postinst	Thu Aug 13 11:23:07 2015 +0200
+++ b/debian/postinst	Thu Aug 13 11:31:25 2015 +0200
@@ -82,7 +82,10 @@
 'b7WT6krss1t2dyQZLWnlWTxjK8arQjoEOBwl4VkjXbbopTt6+To8LdZiS39VQBZvKDgfPw'\
 'GVHigxjRSSZfVYyF+lADoXWJBF' \
     < $file > $tmp
-    cmp $tmp $file >/dev/null || cat $tmp > $file
+    if ! test -s $tmp || ! cmp $tmp $fle >/dev/null
+    then
+	cat $tmp > $file
+    fi
     rm -f $tmp
 }