diff options
| -rwxr-xr-x | check-supported-tools-tables | 7 |
1 files changed, 5 insertions, 2 deletions
diff --git a/check-supported-tools-tables b/check-supported-tools-tables index 9cae8d08..842d431b 100755 --- a/check-supported-tools-tables +++ b/check-supported-tools-tables @@ -13,7 +13,9 @@ ale_help_section_size="$( \ | grep -m1 -n '================' \ | sed 's/\([0-9]*\).*/\1/' \ )" -ale_help_end_line="$(("$ale_help_start_line" + "$ale_help_section_size"))" +# -- shellcheck complains about expr, but it works better. +# shellcheck disable=SC2003 +ale_help_end_line="$(expr "$ale_help_start_line" + "$ale_help_section_size")" # Find the start and end lines for the same section in the README. readme_start_line="$( \ @@ -25,7 +27,8 @@ readme_section_size="$( \ | grep -m1 -n '^##.*Usage' \ | sed 's/\([0-9]*\).*/\1/' \ )" -readme_end_line="$(("$readme_start_line" + "$readme_section_size"))" +# shellcheck disable=SC2003 +readme_end_line="$(expr "$readme_start_line" + "$readme_section_size")" doc_file="$(mktemp)" readme_file="$(mktemp)" |