=== modified file 'debian/mandos-client.postinst' --- debian/mandos-client.postinst 2015-07-09 20:36:29 +0000 +++ debian/mandos-client.postinst 2015-07-12 02:08:25 +0000 @@ -20,9 +20,7 @@ # Update the initial RAM file system image update_initramfs() { - if [ -x /usr/sbin/update-initramfs ]; then - update-initramfs -u -k all - fi + update-initramfs -u -k all if dpkg --compare-versions "$2" lt-nl "1.0.10-1"; then # Make old initrd.img files unreadable too, in case they were @@ -58,9 +56,7 @@ -a -r /etc/keys/mandos/seckey.txt ]; then return 0 fi - if [ -x /usr/sbin/mandos-keygen ]; then - mandos-keygen - fi + mandos-keygen } create_dh_params(){ === modified file 'debian/mandos-client.postrm' --- debian/mandos-client.postrm 2011-10-10 20:29:58 +0000 +++ debian/mandos-client.postrm 2015-07-12 02:08:25 +0000 @@ -31,9 +31,7 @@ # Update the initial RAM file system image update_initramfs() { - if [ -x /usr/sbin/update-initramfs ]; then - update-initramfs -u -k all - fi + update-initramfs -u -k all || : } case "$1" in