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