debian/postinst
changeset 85 5ffd87a76d87
parent 82 8ac198281a6c
child 93 a677013e17e7
--- a/debian/postinst	Thu Aug 13 11:40:57 2015 +0200
+++ b/debian/postinst	Thu Aug 13 14:52:38 2015 +0200
@@ -81,7 +81,7 @@
 'BI6Tuo4nHxXUgux72MHwvyizlN53JFipBJRSRtRv19PnMMNx9spe7Jmf2v67OJ6JXDzpfa'\
 'b7WT6krss1t2dyQZLWnlWTxjK8arQjoEOBwl4VkjXbbopTt6+To8LdZiS39VQBZvKDgfPw'\
 'GVHigxjRSSZfVYyF+lADoXWJBF' \
-    < $file > $tmp
+    < $file > $tmp    || true
     if ! test -s $tmp || ! cmp $tmp $file >/dev/null
     then
 	cat $tmp > $file