aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJakob Unterwurzacher2020-10-15 17:49:17 +0200
committerJakob Unterwurzacher2020-10-15 17:49:17 +0200
commita2f48eb838a5c3c565c8ca81047fefd33435e458 (patch)
tree9fc42c20a766b8410ba152fe2d6bb361079e7daa
parent871f305f9016b9f52bbc7d49ed4da1a7fffacf9d (diff)
contrib: cleanup-tmp-mounts: also clean ext4-ramdisk
-rwxr-xr-xcontrib/cleanup-tmp-mounts.sh2
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/cleanup-tmp-mounts.sh b/contrib/cleanup-tmp-mounts.sh
index 2429569..481d2b7 100755
--- a/contrib/cleanup-tmp-mounts.sh
+++ b/contrib/cleanup-tmp-mounts.sh
@@ -7,7 +7,7 @@
set -eu
-MOUNTS=$(mount | grep ' type fuse\.' | grep 'on /var/tmp/\|on /tmp/' | cut -d' ' -f 3)
+MOUNTS=$(mount | grep ' type fuse\.' | grep 'on /var/tmp/\|on /tmp/\|on /mnt/ext4-ramdisk/' | cut -d' ' -f 3)
for i in $MOUNTS ; do
echo "Unmounting $i"