diff options
Diffstat (limited to 'installer')
-rw-r--r-- | installer/install-eslint-language-server.cmd | 13 | ||||
-rwxr-xr-x | installer/install-eslint-language-server.sh | 15 |
2 files changed, 28 insertions, 0 deletions
diff --git a/installer/install-eslint-language-server.cmd b/installer/install-eslint-language-server.cmd new file mode 100644 index 0000000..846638d --- /dev/null +++ b/installer/install-eslint-language-server.cmd @@ -0,0 +1,13 @@ +@echo off + +git clone "https://github.com/microsoft/vscode-eslint" . +git checkout release/1.9.1 +call npm install +call npm run compile:server + +echo @echo off ^ + +node %%~dp0\server\out\eslintServer.js --stdio %%* ^ + +> eslint-language-server.cmd + diff --git a/installer/install-eslint-language-server.sh b/installer/install-eslint-language-server.sh new file mode 100755 index 0000000..05beeb3 --- /dev/null +++ b/installer/install-eslint-language-server.sh @@ -0,0 +1,15 @@ +#!/usr/bin/env bash + +git clone "https://github.com/microsoft/vscode-eslint" . +git checkout release/1.9.1 +npm install +npm run compile:server + +cat <<EOF >eslint-language-server +#!/usr/bin/env bash + +DIR=\$(cd \$(dirname \$0); pwd) +node \$DIR/server/out/eslintServer.js --stdio \$* +EOF + +chmod +x eslint-language-server |