delete extension names of scripts

This commit is contained in:
2025-09-24 18:33:20 +02:00
parent eccc63e44a
commit 5aec24f542
24 changed files with 44 additions and 38 deletions

15
.scripts/wsl-unmount Executable file
View File

@@ -0,0 +1,15 @@
#!/bin/sh
[ -z "$1" ] && mount_point="/mnt/wsl" || mount_point="$1"
sudo umount "$mount_point" || {
echo "Failed to unmount $mount_point. It may not be mounted or you may not have the necessary permissions."
exit 1
}
sudo rmdir "$mount_point" || {
echo "Failed to remove the mount point directory $mount_point. It may not be empty or you may not have the necessary permissions."
exit 1
}
echo "Successfully unmounted and removed $mount_point."