diff options
| author | w0rp <w0rp@users.noreply.github.com> | 2020-07-21 12:47:33 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-21 12:47:33 +0100 |
| commit | f4668c751fba1af496d933af9fdcf1cf162a26f4 (patch) | |
| tree | 80b05de5e073f426400fc34da274b9cdb86f6fac /supported-tools.md | |
| parent | 70ab831001dbe806fc5af3f33727f1fa32e3ff13 (diff) | |
| parent | 7b9855f1fe811f4ec80bdeb81b5ab9b6d9249a49 (diff) | |
| download | ale-f4668c751fba1af496d933af9fdcf1cf162a26f4.zip | |
Merge pull request #3070 from hsanson/2732-add-bashate-support
Fix 2732 - Add bashate support
Diffstat (limited to 'supported-tools.md')
| -rw-r--r-- | supported-tools.md | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/supported-tools.md b/supported-tools.md index 5243a310..03c2a2d7 100644 --- a/supported-tools.md +++ b/supported-tools.md @@ -40,6 +40,7 @@ formatting. * Awk * [gawk](https://www.gnu.org/software/gawk/) * Bash + * [bashate](https://github.com/openstack/bashate) * [language-server](https://github.com/mads-hartmann/bash-language-server) * shell [-n flag](https://www.gnu.org/software/bash/manual/bash.html#index-set) * [shellcheck](https://www.shellcheck.net/) |