diff options
author | w0rp <devw0rp@gmail.com> | 2018-07-05 20:56:31 +0100 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2018-07-05 20:56:31 +0100 |
commit | da692b2e2dd9bc81047449b8811ab2672004b8bc (patch) | |
tree | bfa136beef63abb61e9dee3de09f0f78e6b18cb6 /doc | |
parent | f002c2c9f0cff99fb24a7268a278c7940177a380 (diff) | |
download | ale-da692b2e2dd9bc81047449b8811ab2672004b8bc.zip |
Support formatting escaped executable names into commands with %e
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ale.txt | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/doc/ale.txt b/doc/ale.txt index b500d5d4..d325fb22 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -2495,14 +2495,22 @@ ale#linter#Define(filetype, linter) *ale#linter#Define()* For example: > 'command': 'ghc -fno-code -v0 %t', < + Any substring `%e` will be replaced with the escaped executable supplied + with `executable` or `executable_callback`. This provides a convenient way + to define a command string which needs to include a dynamic executable name, + but which is otherwise static. + + For example: > + 'command': '%e --some-argument', +< The character sequence `%%` can be used to emit a literal `%` into a command, so literal character sequences `%s` and `%t` can be escaped by using `%%s` and `%%t` instead, etc. If a callback for a command generates part of a command string which might - possibly contain `%%`, `%s`, or `%t` where the special formatting behaviour - is not desired, the |ale#engine#EscapeCommandPart()| function can be used to - replace those characters to avoid formatting issues. + possibly contain `%%`, `%s`, `%t`, or `%e`, where the special formatting + behavior is not desired, the |ale#engine#EscapeCommandPart()| function can + be used to replace those characters to avoid formatting issues. *ale-linter-loading-behavior* *ale-linter-loading-behaviour* |