Update start_server.sh
Browse files- start_server.sh +3 -2
start_server.sh
CHANGED
|
@@ -20,11 +20,12 @@ if [[ ! -z "$REPO" ]]; then
|
|
| 20 |
echo start to clone initial repo $repo
|
| 21 |
git clone --progress $REPO
|
| 22 |
fi
|
| 23 |
-
|
| 24 |
git config --global http.postBuffer 524288000
|
| 25 |
|
| 26 |
echo "Starting VSCode Server..."
|
| 27 |
vscode=/app/openvscode-server/bin/openvscode-server
|
| 28 |
ln -s $vscode $(dirname $vscode)/code
|
| 29 |
-
|
|
|
|
| 30 |
exec $vscode --host 0.0.0.0 --port 5050 --without-connection-token \"${@}\" --
|
|
|
|
| 20 |
echo start to clone initial repo $repo
|
| 21 |
git clone --progress $REPO
|
| 22 |
fi
|
| 23 |
+
|
| 24 |
git config --global http.postBuffer 524288000
|
| 25 |
|
| 26 |
echo "Starting VSCode Server..."
|
| 27 |
vscode=/app/openvscode-server/bin/openvscode-server
|
| 28 |
ln -s $vscode $(dirname $vscode)/code
|
| 29 |
+
$vscode --install-extension ms-toolsai.jupyter
|
| 30 |
+
set -e
|
| 31 |
exec $vscode --host 0.0.0.0 --port 5050 --without-connection-token \"${@}\" --
|