diff options
| author | Markus Heiser <markus.heiser@darmarit.de> | 2020-01-12 15:51:04 +0100 |
|---|---|---|
| committer | Markus Heiser <markus.heiser@darmarit.de> | 2020-01-12 15:51:04 +0100 |
| commit | 3ed82a97af4f0c65d59bbf748a19ac907db40753 (patch) | |
| tree | d8e15346599e5c232c1c98090b22ed3a1d1fd3cc /utils/lib.sh | |
| parent | 39feb141bc8361915b3d80a976852b38851e0419 (diff) | |
utils/filtron.sh: add command 'update filtron'
BTW: tidy up some code style and fix some issues reported by the linter.
Signed-off-by: Markus Heiser <markus.heiser@darmarit.de>
Diffstat (limited to 'utils/lib.sh')
| -rwxr-xr-x | utils/lib.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/utils/lib.sh b/utils/lib.sh index d06cabf26..fd6b92129 100755 --- a/utils/lib.sh +++ b/utils/lib.sh @@ -75,7 +75,7 @@ info_msg() { echo -e "INFO: $*"; } clean_stdin() { if [[ $(uname -s) != 'Darwin' ]]; then - while $(read -n1 -t 0.1); do : ; done + while read -n1 -t 0.1; do : ; done fi } |