diff options
| author | P. J. McDermott <pj@pehjota.net> | 2014-12-09 00:16:16 (EST) |
|---|---|---|
| committer | P. J. McDermott <pj@pehjota.net> | 2014-12-09 00:18:00 (EST) |
| commit | 1f0f6de00bfbfedc39d533645244ccef71e51855 (patch) | |
| tree | 1b7e654c2d0f2bdc5b5e60fcaa380d7cb6759aaa | |
| parent | 4d45639c47b834ca6fcb3307275edc2163b9e2b2 (diff) | |
Suppress grep output
| -rw-r--r-- | debeagle.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debeagle.sh b/debeagle.sh index 6b62498..e1d11eb 100644 --- a/debeagle.sh +++ b/debeagle.sh @@ -205,7 +205,7 @@ make_parts_and_fs() else error 1 'Device %s not found\n' "${target}" fi - if grep "^${target}" /proc/mounts; then + if grep "^${target}" /proc/mounts >/dev/null 2>&1; then error 1 'Device %s mounted\n' "${target}" fi |