Spaces:
Paused
Paused
Pengyang Cai commited on
Commit ·
1475c79
1
Parent(s): 5f68873
init env
Browse files- start_server.sh +3 -1
start_server.sh
CHANGED
|
@@ -6,4 +6,6 @@ WORKSPACE_DIR="/data"
|
|
| 6 |
echo "Starting VSCode Server on $WORKDIR_PATH..."
|
| 7 |
|
| 8 |
# Use the determined directory as the base path for the VS Code server
|
| 9 |
-
exec /app/openvscode-server/bin/openvscode-server --host 0.0.0.0 --port 7860 --without-connection-token "${@}" --extensions-dir "$WORKDIR_PATH/.vscode-server/extensions" --user-data-dir "$WORKDIR_PATH/.vscode-server/data"
|
|
|
|
|
|
|
|
|
| 6 |
echo "Starting VSCode Server on $WORKDIR_PATH..."
|
| 7 |
|
| 8 |
# Use the determined directory as the base path for the VS Code server
|
| 9 |
+
exec /app/openvscode-server/bin/openvscode-server --host 0.0.0.0 --port 7860 --without-connection-token "${@}" --extensions-dir "$WORKDIR_PATH/.vscode-server/extensions" --user-data-dir "$WORKDIR_PATH/.vscode-server/data" \
|
| 10 |
+
--install-extension ms-toolsai.jupyter --
|
| 11 |
+
#--install-extension ms-toolsai.jupyter --install-extension vscodevim.vim --install-extension rust-lang.rust-analyzer --install-extension ms-python.python --
|