summaryrefslogtreecommitdiff
path: root/doc
diff options
context:
space:
mode:
authorw0rp <devw0rp@gmail.com>2017-05-26 21:21:15 +0100
committerw0rp <devw0rp@gmail.com>2017-05-26 21:21:15 +0100
commit00d314196215ea25c8ad0e91d1b023d3ac87ace5 (patch)
treed98e9d136ed22b766ef8e9c6f07c789441205844 /doc
parent28a62aab28fde52651f452c28b273fc595b75ead (diff)
downloadale-00d314196215ea25c8ad0e91d1b023d3ac87ace5.zip
Fix #577 Add an option preventing linting of large files
Diffstat (limited to 'doc')
-rw-r--r--doc/ale.txt9
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|