diff options
| author | Kevin Locke <kevin@kevinlocke.name> | 2019-02-10 09:00:55 -0700 |
|---|---|---|
| committer | Kevin Locke <kevin@kevinlocke.name> | 2019-02-10 09:00:55 -0700 |
| commit | a0d4eb3699b2d3e7b7e5830950df10d84f370b8e (patch) | |
| tree | b1fc2bd99b77bc0bbad70b54de71d6fdf6a10b44 /test/top/example.ini | |
| parent | 7a48750610bbed164750a3f0fbf0fd9e88fa56c5 (diff) | |
| download | ale-a0d4eb3699b2d3e7b7e5830950df10d84f370b8e.zip | |
Support ale_sh_shellcheck_dialect to set dialect
As discussed in w0rp/ale#1051, there are cases where it would be useful
to be able to specify the dialect explicitly. This commit allows users
to do so using the ale_sh_shellcheck_dialect variable.
Fixes: w0rp/ale#1051
Signed-off-by: Kevin Locke <kevin@kevinlocke.name>
Diffstat (limited to 'test/top/example.ini')
0 files changed, 0 insertions, 0 deletions