chiark / gitweb /
set -e to make it easier to kill this
[bin.git] / mount-keys
index 4e2d1d784032fe1a750e74cf01054dd12d49c597..dc344e5988f3d7f24ce85bdf070762e764e86548 100755 (executable)
@@ -1,4 +1,5 @@
 #! /bin/sh
+sudo /etc/init.d/cfsd start || sudo /etc/init.d/cfsd restart || exit 1 # kludge
 grep -q '/mnt/usb ' /proc/mounts || sudo mount /mnt/usb
 sudo losetup /dev/loop0 /mnt/usb/cjwatson
 grep -q '/mnt/usb/keys ' /proc/mounts || sudo mount -t ext2 /dev/loop0 /mnt/usb/keys