diff options
| author | Jakob Unterwurzacher | 2020-10-15 17:49:17 +0200 |
|---|---|---|
| committer | Jakob Unterwurzacher | 2020-10-15 17:49:17 +0200 |
| commit | a2f48eb838a5c3c565c8ca81047fefd33435e458 (patch) | |
| tree | 9fc42c20a766b8410ba152fe2d6bb361079e7daa | |
| parent | 871f305f9016b9f52bbc7d49ed4da1a7fffacf9d (diff) | |
contrib: cleanup-tmp-mounts: also clean ext4-ramdisk
| -rwxr-xr-x | contrib/cleanup-tmp-mounts.sh | 2 |
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" |