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 }