From 8c8ea3760651c226e585a67b3800e676a2cc86c0 Mon Sep 17 00:00:00 2001 From: jakobst1n Date: Tue, 1 Mar 2022 13:44:09 +0100 Subject: Update a few things --- bin/umount_dev | 8 ++++++++ 1 file changed, 8 insertions(+) create mode 100755 bin/umount_dev (limited to 'bin/umount_dev') 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" -- cgit v1.2.3