diff options
Diffstat (limited to 'installer/install-kotlin-language-server.cmd')
| -rw-r--r-- | installer/install-kotlin-language-server.cmd | 12 |
1 files changed, 1 insertions, 11 deletions
diff --git a/installer/install-kotlin-language-server.cmd b/installer/install-kotlin-language-server.cmd index 11d141c..d28b8d7 100644 --- a/installer/install-kotlin-language-server.cmd +++ b/installer/install-kotlin-language-server.cmd @@ -1,17 +1,7 @@ @echo off
-setlocal
-
-cd /d %~dp0
-
-set installer_dir=%cd%
-set server_dir=..\servers\kotlin-language-server
-if exist %server_dir% rd /Q /S "%server_dir%"
-md "%server_dir%"
-cd /d "%server_dir%"
-
curl -L -o server.zip "https://github.com/fwcd/kotlin-language-server/releases/download/0.5.2/server.zip"
-call %installer_dir%\run_unzip server.zip
+call "%~dp0\run_unzip" server.zip
del server.zip
echo @echo off ^
|