diff options
author | w0rp <devw0rp@gmail.com> | 2017-07-04 00:16:53 +0100 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2017-07-04 00:17:13 +0100 |
commit | 7b7a2759020e0e9c0080d4317e85892e4ec28b26 (patch) | |
tree | 03e54da1ffbb5dac220d427a5bfb73e0d410e289 /doc/ale.txt | |
parent | bb293b297c17e0b53d8cfc55ab7bebfcb37dc233 (diff) | |
download | ale-7b7a2759020e0e9c0080d4317e85892e4ec28b26.zip |
Store the output of commands by default so I don't have to ask people to turn it on any more.
Diffstat (limited to 'doc/ale.txt')
-rw-r--r-- | doc/ale.txt | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/doc/ale.txt b/doc/ale.txt index 0a31fca1..c5e2f8f8 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -366,7 +366,7 @@ g:ale_history_enabled *g:ale_history_enabled* g:ale_history_log_output *g:ale_history_log_output* Type: |Number| - Default: `0` + Default: `1` 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 @@ -375,8 +375,9 @@ g:ale_history_log_output *g:ale_history_log_output* |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. + Some memory will be consumed by this option. It is very useful for figuring + out what went wrong with linters, and for bug reports. Turn this option off + if you want to save on some memory usage. g:ale_keep_list_window_open *g:ale_keep_list_window_open* |