diff options
| author | Holden <holden@axoni.com> | 2018-12-28 11:58:55 -0500 |
|---|---|---|
| committer | Holden <holden@axoni.com> | 2018-12-28 11:58:55 -0500 |
| commit | c499825a0bc3f27d728e42b61ee25ec9a06644fa (patch) | |
| tree | 47a81f0503238b24fc652902aa8f4b8d42f840b9 /doc | |
| parent | 57a04701c3ac1d06efbf16f2ce184c37f0076d16 (diff) | |
| download | ale-c499825a0bc3f27d728e42b61ee25ec9a06644fa.zip | |
add tests for ale_shell option
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ale.txt | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/ale.txt b/doc/ale.txt index 1535d89e..f6063718 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -1990,7 +1990,7 @@ g:ale_windows_node_executable_path *g:ale_windows_node_executable_path* scripts are executed with whatever executable is configured with this setting. -g:ale_shell *g:ale_shell* +g:ale_shell *g:ale_shell* Type: |String| Default: `'&shell'` @@ -2000,7 +2000,7 @@ g:ale_shell *g:ale_shell* which corresponds to the $SHELL environment variable. For example if `$SHELL == '/bin/bash'`, but you want to use zsh, set `g:ale_shell = '/bin/zsh'.` -g:ale_shell_arguments *g:ale_shell_arguments* +g:ale_shell_arguments *g:ale_shell_arguments* Type: |String| Default: `'&shellcmdflag'` |