diff options
author | Pierre Fenoll <[email protected]> | 2017-12-14 19:42:43 +0100 |
---|---|---|
committer | Pierre Fenoll <[email protected]> | 2018-03-14 11:42:35 +0100 |
commit | 0b2f4e6a6209a7b74654378bfc6642bc2a8e0ea9 (patch) | |
tree | 4407792f20183bd321b3d3db981eb341c843366d | |
parent | 1862f8e631fa0bd03ffea10bf6f18ee07f1db178 (diff) | |
download | kerl-0b2f4e6a6209a7b74654378bfc6642bc2a8e0ea9.tar.gz kerl-0b2f4e6a6209a7b74654378bfc6642bc2a8e0ea9.tar.bz2 kerl-0b2f4e6a6209a7b74654378bfc6642bc2a8e0ea9.zip |
shellcheck: looks like this cannot be compared as integers
-rwxr-xr-x | kerl | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -1434,7 +1434,7 @@ maybe_remove() { list_print() { if [ -f "$KERL_BASE_DIR/otp_$1" ]; then - if [ "$(wc -l "$KERL_BASE_DIR/otp_$1")" -ne 0 ]; then + if [ "$(wc -l "$KERL_BASE_DIR/otp_$1")" != '0' ]; then if [ -z "$2" ]; then cat "$KERL_BASE_DIR/otp_$1" else |