diff options
| author | Erich Eckner <git@eckner.net> | 2016-12-01 11:06:17 +0100 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2016-12-01 11:06:17 +0100 |
| commit | 49aa8f944fd218370a1e84d8b9a4283f99e1dfd0 (patch) | |
| tree | 8d1f2fbcd779d5be5f8a8c754138655b2e7e09f6 | |
| parent | b5a0b4acf76c0afbe4424b2dc39d8bfb3cb891be (diff) | |
| download | sound-cutter-49aa8f944fd218370a1e84d8b9a4283f99e1dfd0.tar.xz | |
... grep -c ...) -eq 0 -> ... grep -q ...
| -rw-r--r-- | sound-cutter.in | 12 |
1 files changed, 9 insertions, 3 deletions
diff --git a/sound-cutter.in b/sound-cutter.in index 4b40ee0..526fb07 100644 --- a/sound-cutter.in +++ b/sound-cutter.in @@ -132,11 +132,17 @@ fi for inp in "${inputs[@]}" do [ ! -e "${inp}" ] && >&2 echo "Die Inputdatei '${inp}' existiert nicht!" && verwendung - [ $(echo "${inp}" | grep -c "\s") -gt 0 ] && >&2 echo "Bitte keine Leerzeichen im input-Dateinamen!" && exit 1 + echo "${inp}" | grep -q "\s" && \ + >&2 echo "Bitte keine Leerzeichen im input-Dateinamen!" && \ + exit 1 done -[ $(echo "${output}" | grep -c "\s") -gt 0 ] && >&2 echo "Bitte keine Leerzeichen im output-Dateinamen!" && exit 1 -[ $(echo "${points}" | grep -c "\s") -gt 0 ] && >&2 echo "Bitte keine Leerzeichen im points-Dateinamen!" && exit 1 +echo "${output}" | grep -q "\s" && \ + >&2 echo "Bitte keine Leerzeichen im output-Dateinamen!" && \ + exit 1 +echo "${points}" | grep -q "\s" && \ + >&2 echo "Bitte keine Leerzeichen im points-Dateinamen!" && \ + exit 1 if [ -e "${output}" ] then |