=== modified file 'debian/mandos-client.README.Debian' --- debian/mandos-client.README.Debian 2008-10-05 17:38:31 +0000 +++ debian/mandos-client.README.Debian 2009-01-15 02:52:02 +0000 @@ -42,4 +42,10 @@ Mandos client will be the new default way for getting a password for the root file system when booting. - -- Teddy Hogeborn , Sun, 5 Oct 2008 19:04:26 +0200 +* Emergency Escape + + If it ever should be necessary, the Mandos client can be temporarily + prevented from running at startup by passing the parameter + "mandos=off" to the kernel. + + -- Teddy Hogeborn , Mon, 12 Jan 2009 02:29:10 +0100 === added file 'debian/watch' --- debian/watch 1970-01-01 00:00:00 +0000 +++ debian/watch 2009-01-15 02:52:02 +0000 @@ -0,0 +1,2 @@ +version=3 +ftp://ftp.fukt.bsnet.se/pub/mandos/mandos[-_]([^\s]+?)(?:\.orig)?\.tar\.(?:gz|bz2|7z) === modified file 'initramfs-tools-script' --- initramfs-tools-script 2008-09-07 15:42:11 +0000 +++ initramfs-tools-script 2009-01-15 02:52:02 +0000 @@ -24,6 +24,12 @@ ;; esac +for param in `cat /proc/cmdline`; do + case "$param" in + mandos=off) exit 0;; + esac +done + chmod a=rwxt /tmp test -w /conf/conf.d/cryptroot