#!/bin/bash -
-# Only do this on Rich's laptop.
-if [ "$LOGNAME" = "rjones" ]; then
- if [ "$talkdir" = "" ]; then exit 1; fi
+# Safety-valve for unwary users...
+if [ "$LOGNAME" != "rjones" ] && [ "$LOGNAME" != "eblake" ]; then
+ exit 1
+fi
- fusermount -u $talkdir/6200-vddk.d/mp >& /dev/null
+if [ "$talkdir" = "" ]; then exit 1; fi
- sudo rm -rf $talkdir/6400-boot.d/root
+fusermount -u $talkdir/6200-vddk.d/mp >& /dev/null
- sleep 0.5; killall nbdkit >& /dev/null
+if [ -d "$talkdir/6400-boot.d/root" ]; then
+ sudo rm -rf $talkdir/6400-boot.d/root
fi
+sleep 0.5; killall nbdkit >& /dev/null
+
exit 0