2017-06-08 13:26:21 -04:00
|
|
|
===============================================================================
|
2017-08-30 16:56:43 -04:00
|
|
|
ALE Awk Integration *ale-awk-options*
|
2017-06-08 13:26:21 -04:00
|
|
|
|
|
|
|
|
2017-07-08 09:17:26 -04:00
|
|
|
===============================================================================
|
2017-08-30 16:56:43 -04:00
|
|
|
gawk *ale-awk-gawk*
|
2017-06-08 13:26:21 -04:00
|
|
|
|
2017-08-30 16:56:43 -04:00
|
|
|
g:ale_awk_gawk_executable *g:ale_awk_gawk_executable*
|
|
|
|
*b:ale_awk_gawk_executable*
|
2017-06-08 13:26:21 -04:00
|
|
|
Type: |String|
|
|
|
|
Default: `'gawk'`
|
|
|
|
|
|
|
|
This variable sets executable used for gawk.
|
|
|
|
|
|
|
|
|
2017-08-30 16:56:43 -04:00
|
|
|
g:ale_awk_gawk_options *g:ale_awk_gawk_options*
|
|
|
|
*b:ale_awk_gawk_options*
|
2017-06-08 13:26:21 -04:00
|
|
|
Type: |String|
|
|
|
|
Default: `''`
|
|
|
|
|
|
|
|
With this variable we are able to pass extra arguments for gawk
|
|
|
|
for invocation.
|
|
|
|
|
2017-07-08 09:17:26 -04:00
|
|
|
===============================================================================
|
2017-06-08 13:26:21 -04:00
|
|
|
vim:tw=78:ts=2:sts=2:sw=2:ft=help:norl:
|