#!/bin/sh

# this script unmounts ToolDisk

echo "Unmounting ToolDisk ..."
umount /dev/fd0H1722

echo "Done."
