diff options
| author | Kevin Clark <kevin.clark@gmail.com> | 2020-11-28 08:23:06 -0800 |
|---|---|---|
| committer | Kevin Clark <kevin.clark@gmail.com> | 2020-11-28 08:23:06 -0800 |
| commit | e300a48e13d5863e8281c5843d1128224f73696d (patch) | |
| tree | b507b17871d4236f7e46b161eb59ba98e79820f9 /test/script | |
| parent | 469af2a73472cd81a475c203cf1175caf1db74a9 (diff) | |
| download | ale-e300a48e13d5863e8281c5843d1128224f73696d.zip | |
Fix test/script/check-supported-tools-tables
Diffstat (limited to 'test/script')
| -rwxr-xr-x | test/script/check-supported-tools-tables | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/test/script/check-supported-tools-tables b/test/script/check-supported-tools-tables index 5817de99..d238e77f 100755 --- a/test/script/check-supported-tools-tables +++ b/test/script/check-supported-tools-tables @@ -15,14 +15,13 @@ while read -r; do if [[ "$REPLY" =~ ^! ]]; then language="${REPLY/!/}" else - # shellcheck disable=SC2001 echo "$language - $REPLY" fi done < <( grep '^\*\|^ *\*' doc/ale-supported-languages-and-tools.txt \ | sed -e '1,2d' \ | sed 's/^\* */!/' \ - | sed -E 's/^ *\* *|!!|\^|(.*)|`//g' \ + | sed -E 's/^ *\* *|!!|\^|\(.*\)|`//g' \ | sed 's/ *$//' ) > "$doc_file" @@ -30,7 +29,6 @@ while read -r; do if [[ "$REPLY" =~ ^! ]]; then language="${REPLY/!/}" else - # shellcheck disable=SC2001 echo "$language - $REPLY" fi done < <( |