diff options
| author | Kevin Clark <kevin.clark@gmail.com> | 2020-11-27 20:32:51 -0800 |
|---|---|---|
| committer | Kevin Clark <kevin.clark@gmail.com> | 2020-11-27 20:32:51 -0800 |
| commit | f72e60c12a825f30cf25c585c7876fce1c99099d (patch) | |
| tree | 1ea040c12152ce94a6a8b1116eae0972ea45d7ba /test/script/check-supported-tools-tables | |
| parent | 1365dce921c1fb84a668ae121d5d5aeebef99fbc (diff) | |
| download | ale-f72e60c12a825f30cf25c585c7876fce1c99099d.zip | |
Fix check-supported-tools-tables check
sed wasn't using -E, so '|' wasn't being handled properly. Seems likely
that's sed-implementation specific, so now it runs through docker's sed
to support portability.
Diffstat (limited to 'test/script/check-supported-tools-tables')
| -rwxr-xr-x | test/script/check-supported-tools-tables | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/script/check-supported-tools-tables b/test/script/check-supported-tools-tables index f4305707..5817de99 100755 --- a/test/script/check-supported-tools-tables +++ b/test/script/check-supported-tools-tables @@ -22,7 +22,7 @@ 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" @@ -36,7 +36,7 @@ while read -r; do 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" |