diff options
author | w0rp <devw0rp@gmail.com> | 2017-08-31 13:12:24 +0100 |
---|---|---|
committer | w0rp <devw0rp@gmail.com> | 2017-08-31 13:12:24 +0100 |
commit | 7c2a5052a850a6e7df10c2b4f84fd5b343175d8d (patch) | |
tree | 97225111667373635892128784b34cd854379cdd /doc | |
parent | 1d86a724f2f54212d1230fcb2195220f5b3727f9 (diff) | |
download | ale-7c2a5052a850a6e7df10c2b4f84fd5b343175d8d.zip |
Fix #895 - Run Node.js scripts with node.exe instead of node on Windows
Diffstat (limited to 'doc')
-rw-r--r-- | doc/ale.txt | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/doc/ale.txt b/doc/ale.txt index 9055d866..362171cb 100644 --- a/doc/ale.txt +++ b/doc/ale.txt @@ -1089,6 +1089,22 @@ b:ale_warn_about_trailing_whitespace *b:ale_warn_about_trailing_whitespace* This option may be configured on a per buffer basis. +g:ale_windows_node_executable_path *g:ale_windows_node_executable_path* + *b:ale_windows_node_executable_path* + + Type: |String| + Default: `'node.exe'` + + This variable is used as the path to the executable to use for executing + scripts with Node.js on Windows. + + For Windows, any file with a `.js` file extension needs to be executed with + the node executable explicitly. Otherwise, Windows could try and open the + scripts with other applications, like a text editor. Therefore, these + scripts are executed with whatever executable is configured with this + setting. + + ------------------------------------------------------------------------------- 6.1. Highlights *ale-highlights* |