chiark / gitweb /
Move most .pl scripts to names without extensions. Drop ssize.pl, which I
[bin.git] / umount-keys
1 #! /bin/sh
2 cdetach cjwatson-keys
3 sudo umount /mnt/usb/keys
4 sudo losetup -d /dev/loop0
5 sudo umount /mnt/usb