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