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 | |
| parent | c5ca5a2f8c81ef631903235fc5ddd6af8a264dc1 (diff) | |
| download | platten-finden-24a6c9359ec9d88bf23067827efc7b9ffdc30411.tar.xz | |
| -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 |