diff options
| author | Bartek thindil Jasicki <thindil@laeran.pl> | 2021-01-15 09:42:14 +0100 |
|---|---|---|
| committer | Bartek thindil Jasicki <thindil@laeran.pl> | 2021-01-15 09:42:14 +0100 |
| commit | 45a28383a2da3d28bdc5e7d3a0deb6365680980d (patch) | |
| tree | 8c6a0d4f84a6534325e4854ef520c663eb3b81c7 /test/script/check-supported-tools-tables | |
| parent | 7b1ed2733e2b73a74149f300d5400225f535f490 (diff) | |
| parent | 6fbdec8587ad918dccf13546418904d3f2c38a46 (diff) | |
| download | ale-45a28383a2da3d28bdc5e7d3a0deb6365680980d.zip | |
Merge remote-tracking branch 'upstream/master'
Diffstat (limited to 'test/script/check-supported-tools-tables')
| -rwxr-xr-x | test/script/check-supported-tools-tables | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/test/script/check-supported-tools-tables b/test/script/check-supported-tools-tables index f4305707..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 's/^ *\* *\|!!\|\^\|(.*)\|`//g' \ + | sed -E 's/^ *\* *|!!|\^|\(.*\)|`//g' \ | sed 's/ *$//' ) > "$doc_file" @@ -30,13 +29,12 @@ while read -r; do if [[ "$REPLY" =~ ^! ]]; then language="${REPLY/!/}" else - # shellcheck disable=SC2001 echo "$language - $REPLY" fi done < <( grep '^\*\|^ *\*' supported-tools.md \ | sed 's/^\* */!/' \ - | sed 's/^ *\* *\|:floppy_disk:\|:warning:\|(.*)\|\[\|\].*\|-n flag//g' \ + | sed -E 's/^ *\* *|:floppy_disk:|:warning:|\(.*\)|\[|\].*|-n flag//g' \ | sed 's/ *$//' ) > "$readme_file" |