--- /dev/null
+#!/bin/bash -
+
+# Safety-valve for unwary users...
+if [ "$LOGNAME" != "rjones" ] && [ "$LOGNAME" != "eblake" ]; then
+ exit 1
+fi
+
+if [ "$talkdir" = "" ]; then exit 1; fi
+
+fusermount -u $talkdir/6200-vddk.d/mp >& /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