diff options
| author | jakobst1n <jakob.stendahl@outlook.com> | 2022-03-01 13:44:09 +0100 |
|---|---|---|
| committer | jakobst1n <jakob.stendahl@outlook.com> | 2022-03-01 13:44:09 +0100 |
| commit | 8c8ea3760651c226e585a67b3800e676a2cc86c0 (patch) | |
| tree | 0fd2c24d2f1187fdfb9249f7c6b95f74b360ff7a /bin/umount_dev | |
| parent | 661605170322a3f7eff49f733fa2e0b25038ef22 (diff) | |
| download | dotfiles-8c8ea3760651c226e585a67b3800e676a2cc86c0.tar.gz dotfiles-8c8ea3760651c226e585a67b3800e676a2cc86c0.zip | |
Update a few things
Diffstat (limited to 'bin/umount_dev')
| -rwxr-xr-x | bin/umount_dev | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/bin/umount_dev b/bin/umount_dev new file mode 100755 index 0000000..e2cc87a --- /dev/null +++ b/bin/umount_dev @@ -0,0 +1,8 @@ +#!/bin/sh + +echo "Unmounting /media/$1" +sudo umount -l "/media/$1" +sudo rm -r "/media/$1" +echo "Unmounting /usr/local/Development/$1" +sudo umount -l "/usr/local/Development/$1" +echo "EOF" |