Update start_server.sh
Browse files- start_server.sh +2 -1
start_server.sh
CHANGED
|
@@ -25,7 +25,8 @@ git config --global http.postBuffer 524288000
|
|
| 25 |
|
| 26 |
echo "Starting VSCode Server..."
|
| 27 |
vscode=/app/openvscode-server/bin/openvscode-server
|
| 28 |
-
|
| 29 |
$vscode --install-extension ms-toolsai.jupyter
|
|
|
|
| 30 |
set -e
|
| 31 |
exec $vscode --host 0.0.0.0 --port 5050 --without-connection-token \"${@}\" --
|
|
|
|
| 25 |
|
| 26 |
echo "Starting VSCode Server..."
|
| 27 |
vscode=/app/openvscode-server/bin/openvscode-server
|
| 28 |
+
vscode_cli=/app/openvscode-server/bin/remote-cli/openvscode-server
|
| 29 |
$vscode --install-extension ms-toolsai.jupyter
|
| 30 |
+
ln -s $vscode_cli $(dirname $vscode_cli)/code
|
| 31 |
set -e
|
| 32 |
exec $vscode --host 0.0.0.0 --port 5050 --without-connection-token \"${@}\" --
|