diff options
| author | Horacio Sanson <hsanson@gmail.com> | 2020-05-09 11:24:55 +0900 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-05-09 11:24:55 +0900 |
| commit | c2b01f0e28b4f007d01373821ba19dcfa440f9c2 (patch) | |
| tree | 485795580d7e63e35d6b978a8967dfebfad00235 /doc/ale.txt | |
| parent | 70005134e5b2d40d176ee5b851ac64a296b22201 (diff) | |
| parent | ca97f32258cc6e3f32b5f7605801f053e7dbe320 (diff) | |
| download | ale-c2b01f0e28b4f007d01373821ba19dcfa440f9c2.zip | |
Merge pull request #3134 from Ian2020/master
Add shellcheck as linter for bats files
Diffstat (limited to 'doc/ale.txt')
| -rw-r--r-- | doc/ale.txt | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/doc/ale.txt b/doc/ale.txt index 53ec69fc..8d5b8820 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -2279,6 +2279,8 @@ documented in additional help files. gcc...................................|ale-asm-gcc| awk.....................................|ale-awk-options| gawk..................................|ale-awk-gawk| + bats....................................|ale-bats-options| + shellcheck............................|ale-bats-shellcheck| bib.....................................|ale-bib-options| bibclean..............................|ale-bib-bibclean| c.......................................|ale-c-options| |