diff options
| author | w0rp <devw0rp@gmail.com> | 2017-02-28 09:10:58 +0000 |
|---|---|---|
| committer | w0rp <devw0rp@gmail.com> | 2017-02-28 09:10:58 +0000 |
| commit | ceeff6c723463ee4d47159d48b44eb49f8222e91 (patch) | |
| tree | bc87cf6f502e487dfd7de668b8f9350545e39744 /doc | |
| parent | 31d328b272a6799630457df90f07a07c463128ff (diff) | |
| download | ale-ceeff6c723463ee4d47159d48b44eb49f8222e91.zip | |
Fix #288 - Add a command for running ALE
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/ale.txt | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/doc/ale.txt b/doc/ale.txt index 129f0737..3f1c7438 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -1123,6 +1123,14 @@ Some linters may have requirements for some other plugins being installed. =============================================================================== 6. Commands/Keybinds *ale-commands* +ALELint *ALELint* + + Run ALE once for the current buffer. This command can be used to run ALE + manually, instead of automatically, if desired. + + A plug mapping `<Plug>(ale_lint)` is defined for this command. + + ALEPrevious *ALEPrevious* ALEPreviousWrap *ALEPreviousWrap* ALENext *ALENext* @@ -1403,7 +1411,7 @@ ale#statusline#Status() *ale#statusline#Status()* %{ale#statusline#Status()} -ALELint *ALELint* +ALELint *ALELint-autocmd* This |User| autocommand is triggered by ALE every time it completes a lint operation. It can be used to update statuslines, send notifications, or complete any other operation that needs to be done after a lint run. |