vscode / start_server.sh
multimodalart's picture
VSCode saves things to `/data` when it exists
e325876 verified
#!/bin/bash
# Default workspace directory
WORKSPACE_DIR="/app"
# Check if /data exists and is writable
if [ -d "/data" ] && [ -w "/data" ]; then
WORKSPACE_DIR="/data"
fi
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" --