diff options
author | w0rp <devw0rp@gmail.com> | 2017-05-26 21:21:15 +0100 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2017-05-26 21:21:15 +0100 |
commit | 00d314196215ea25c8ad0e91d1b023d3ac87ace5 (patch) | |
tree | d98e9d136ed22b766ef8e9c6f07c789441205844 /doc | |
parent | 28a62aab28fde52651f452c28b273fc595b75ead (diff) | |
download | ale-00d314196215ea25c8ad0e91d1b023d3ac87ace5.zip |
Fix #577 Add an option preventing linting of large files
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ale.txt | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/doc/ale.txt b/doc/ale.txt index 4868e17c..5dd8d053 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -514,6 +514,15 @@ g:ale_max_buffer_history_size *g:ale_max_buffer_history_size* History can be disabled completely with |g:ale_history_enabled|. +g:ale_maximum_file_size *g:ale_maximum_file_size* + *b:ale_maximum_file_size* + Type: |Number| + Default: `0` + + A maximum file size in bytes for ALE to check. If set to any positive + number, ALE will skip checking files larger than the given size. + + g:ale_open_list *g:ale_open_list* Type: |Number| |