diff options
| author | Barnabás Ágoston <agostonbarna@users.noreply.github.com> | 2022-03-20 14:52:22 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-03-20 13:52:22 +0000 |
| commit | 5c7019f394588bdc29d7573f5063198c2803dfe4 (patch) | |
| tree | 34ba90590da7975f283917a072b442f0a0de5737 /syntax | |
| parent | c42fee3da52eda8d63946918fdc1060d8c0b0b62 (diff) | |
| download | ale-5c7019f394588bdc29d7573f5063198c2803dfe4.zip | |
Make it possible to override awk --lint option (#4114)
Currently, it's not possible to override the awk `--lint` option with
```viml
let g:ale_awk_gawk_options = '--lint=no-ext'
```
although this could be useful for those who only use gawk and don't want to get these lint errors:
> FEATURE X is a gawk extension
The idea is to move the default `--lint` option before the `awk_gawk_options` in the gawk.vim code to give the custom `--lint=...` option a higher precedence.
Co-authored-by: Barnabás Ágoston <barna@agoston.dev>
Diffstat (limited to 'syntax')
0 files changed, 0 insertions, 0 deletions