New tool to get/update/switch (as appropriate) subdirectories in a tree

[bin.git] / umount-keys

diff --git a/umount-keys b/umount-keys
old mode 100644 (file)
new mode 100755 (executable)
index fa45b02..15e2e5a
--- a/umount-keys
+++ b/umount-keys
@@ -3,3 +3,5 @@ cdetach cjwatson-keys
 sudo umount /mnt/usb/keys
 sudo losetup -d /dev/loop0
 sudo umount /mnt/usb
+sudo /etc/init.d/cfsd stop
+sudo modprobe -r nfs nfsd sd_mod usb-storage