#!/bin/bash -

# Only do this on Rich's laptop.
if [ "$LOGNAME" = "rjones" ]; then
    if [ "$talkdir" = "" ]; then exit 1; fi

    fusermount -u $talkdir/6200-vddk.d/mp >& /dev/null

    sudo rm -rf $talkdir/6400-boot.d/root

    sleep 0.5; killall nbdkit >& /dev/null
fi

exit 0