diff options
| author | Andrew Hayworth <ahayworth@gmail.com> | 2019-07-22 08:06:55 -0500 |
|---|---|---|
| committer | Andrew Hayworth <ahayworth@gmail.com> | 2019-08-07 16:35:12 -0500 |
| commit | ab0bf615123da5f5f7eb30d18ee34b0b317aa795 (patch) | |
| tree | 5d7e7d41ebe204e05b4da21200a2b19b0bc1843f /supported-tools.md | |
| parent | dd1e1025b8a9b13cb7966bf2baa3e6b42a862857 (diff) | |
| download | ale-ab0bf615123da5f5f7eb30d18ee34b0b317aa795.zip | |
Add support for ink-language-server
This commit add support for ink-language-server, which it does by
largely copying and pasting from the pure-language-server PR that was
merged recently.
The most interesting things to note are:
- ink-language-server is distributed upstream via npm, which is why we
search through node_modules
- With some coaxing, it can be installed globally - which is why we
search for a global binary.
- Ink is a funky language, and users will likely need to add
initialization options.
- I am not incredibly familiar with vimscript; and I may not have done
some of the buffer searching correctly.
Diffstat (limited to 'supported-tools.md')
| -rw-r--r-- | supported-tools.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/supported-tools.md b/supported-tools.md index 6cb9f418..11328f7d 100644 --- a/supported-tools.md +++ b/supported-tools.md @@ -207,6 +207,8 @@ formatting. * [write-good](https://github.com/btford/write-good) * Idris * [idris](http://www.idris-lang.org/) +* Ink + * [ink-language-server](https://github.com/ephread/ink-language-server) * ISPC * [ispc](https://ispc.github.io/) :floppy_disk: * Java |