blob: 8b0cf7e8ededc5dcae67a40d9a894d06aeb69dab (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
#!/bin/sh
set -e
cd $(dirname $0)
[ -d ../servers/typescript-language-server ] && rm -rf ../servers/typescript-language-server
mkdir ../servers/typescript-language-server
cd ../servers/typescript-language-server
git clone https://github.com/theia-ide/typescript-language-server .
yarn
yarn build
cat <<EOF > typescript-language-server
#!/bin/sh
DIR=\$(cd \$(dirname \$0); pwd)
node \$DIR/server/lib/cli.js --stdio
EOF
chmod +x typescript-language-server
|