diff options
author | w0rp <devw0rp@gmail.com> | 2017-02-16 23:18:57 +0000 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2017-02-16 23:18:57 +0000 |
commit | eac0a41ae1aba77e1d017833425fa8132130df13 (patch) | |
tree | 1bd9b6f30a43b3066236937df5e88341559fae33 /doc/ale.txt | |
parent | 843370b96f9a92a2298ed7985a8f620784fc9421 (diff) | |
download | ale-eac0a41ae1aba77e1d017833425fa8132130df13.zip |
#254 Add an option for logging the output of commands
Diffstat (limited to 'doc/ale.txt')
-rw-r--r-- | doc/ale.txt | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/doc/ale.txt b/doc/ale.txt index 0922abc5..f21983b5 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -199,6 +199,22 @@ g:ale_history_enabled *g:ale_history_enabled* This option can be disabled if storing a command history is not desired. +g:ale_history_log_output *g:ale_history_log_output* + + Type: |Number| + Default: `0` + + When set to `1`, ALE will store the output of commands which have completed + successfully in the command history, and the output will be displayed when + using |ALEInfo|. + + |g:ale_history_enabled| must be set to `1` for this output to be stored or + printed. + + ALE will likely consume a lot of memory if this option is on, so it should + only be used for debugging problems with linters. + + g:ale_keep_list_window_open *g:ale_keep_list_window_open* Type: |Number| |