vscode / start_server.sh
osanseviero's picture
osanseviero HF staff
VSCode saves things to `/data` when it exists (#3)
6151844 verified
#!/bin/bash
# Default workspace directory
WORKSPACE_DIR="/data"
echo "Starting VSCode Server on $WORKDIR_PATH..."
# Use the determined directory as the base path for the VS Code server
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" --