chiark / gitweb /
New tool to get/update/switch (as appropriate) subdirectories in a tree
[bin.git] / umount-keys
index fa45b02..15e2e5a 100755 (executable)
@@ -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