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

[bin.git] / umount-keys

diff --git a/umount-keys b/umount-keys
index fa45b0296e5e3810eef431f7fb4c3d4151262f6d..15e2e5a3b5dbe4319f91a1ee0c7e6ca5c9536128 100755 (executable)
--- 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 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