From eac0a41ae1aba77e1d017833425fa8132130df13 Mon Sep 17 00:00:00 2001 From: w0rp Date: Thu, 16 Feb 2017 23:18:57 +0000 Subject: #254 Add an option for logging the output of commands --- doc/ale.txt | 16 ++++++++++++++++ 1 file changed, 16 insertions(+) (limited to 'doc/ale.txt') 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| -- cgit v1.2.3