diff options
author | Erich Eckner <git@eckner.net> | 2021-03-01 13:50:53 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2021-03-01 13:52:18 +0100 |
commit | 24a6c9359ec9d88bf23067827efc7b9ffdc30411 (patch) | |
tree | 91c63fd79d452425fcb61fe8fd33f308fd2e84da /platten-finden | |
parent | c5ca5a2f8c81ef631903235fc5ddd6af8a264dc1 (diff) | |
download | platten-finden-master.tar.xz |
Diffstat (limited to 'platten-finden')
-rwxr-xr-x | platten-finden | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/platten-finden b/platten-finden index 40fc1f0..c111de8 100755 --- a/platten-finden +++ b/platten-finden @@ -55,6 +55,7 @@ mounts=$( echo "$legs" echo "$mounts" } | \ + grep -vxF '' | \ sort | \ uniq -u | \ while read dev; do |