diff options
author | w0rp <devw0rp@gmail.com> | 2018-04-08 19:04:07 +0100 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2018-04-08 19:04:07 +0100 |
commit | 7cf3ddf6c4354db406a19104f352565d42a827d2 (patch) | |
tree | e9cf7c8d3fffaf2f12abe0d86305744591fbd717 /doc/ale.txt | |
parent | 1123669839c1656deb20f433fc672ca0abdda705 (diff) | |
download | ale-7cf3ddf6c4354db406a19104f352565d42a827d2.zip |
Close #1439 - Add an :ALEInfoToFile command
Diffstat (limited to 'doc/ale.txt')
-rw-r--r-- | doc/ale.txt | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/doc/ale.txt b/doc/ale.txt index 97f1b594..0d3053e2 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -1869,6 +1869,9 @@ ALEInfoToClipboard *ALEInfoToClipboard* The command `:ALEInfoToClipboard` can be used to output ALEInfo directly to your clipboard. This might not work on every machine. + `:ALEInfoToFile` will write the ALE runtime information to a given filename. + The filename works just like |:w|. + ALEReset *ALEReset* ALEResetBuffer *ALEResetBuffer* |