diff options
Diffstat (limited to 'bin/umount_dev')
| -rwxr-xr-x | bin/umount_dev | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/bin/umount_dev b/bin/umount_dev index e2cc87a..9c299d5 100755 --- a/bin/umount_dev +++ b/bin/umount_dev @@ -1,6 +1,11 @@ #!/bin/sh echo "Unmounting /media/$1" + +if [ "$(pwd)" = "/media/$1" ]; then + cd ~/ +fi + sudo umount -l "/media/$1" sudo rm -r "/media/$1" echo "Unmounting /usr/local/Development/$1" |