#!/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