From f7818e6c767efa41351261036f24963cf335125a Mon Sep 17 00:00:00 2001 From: Prabir Date: Thu, 26 Dec 2019 14:38:39 -0800 Subject: add support for downloading reason-language-server on windows --- installer/install-reason-language-server.cmd | 18 ++++++++++++++++++ 1 file changed, 18 insertions(+) create mode 100644 installer/install-reason-language-server.cmd (limited to 'installer') diff --git a/installer/install-reason-language-server.cmd b/installer/install-reason-language-server.cmd new file mode 100644 index 0000000..1aa9aa8 --- /dev/null +++ b/installer/install-reason-language-server.cmd @@ -0,0 +1,18 @@ +@echo off + +setlocal + +cd /d %~dp0 + +set installer_dir=%cd% +set server_dir=..\servers\reason-language-server +if exist %server_dir% rd /Q /S "%server_dir%" +md "%server_dir%" +cd /d "%server_dir%" + +curl -L -o rls-windows.zip "https://github.com/jaredly/reason-language-server/releases/download/1.7.4/rls-windows.zip" +call %installer_dir%\run_unzip rls-windows.zip +del rls-windows.zip + +move rls-windows\reason-language-server.exe reason-language-server.exe +rmdir rls-windows -- cgit v1.2.3-54-g00ecf