diff options
| author | jakob.stendahl <jakob.stendahl@infomedia.dk> | 2022-05-03 08:41:57 +0200 |
|---|---|---|
| committer | jakobst1n <jakob.stendahl@outlook.com> | 2022-05-03 08:41:57 +0200 |
| commit | 12102c365247329f4d6964d6b48e12fa2bf67208 (patch) | |
| tree | 0275ffef4d603a5f19dd161f79d6f80ebc9ab770 /bin/umount_dev | |
| parent | 8c8ea3760651c226e585a67b3800e676a2cc86c0 (diff) | |
| download | dotfiles-12102c365247329f4d6964d6b48e12fa2bf67208.tar.gz dotfiles-12102c365247329f4d6964d6b48e12fa2bf67208.zip | |
Some changes
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" |