Spaces:
Paused
Paused
File size: 523 Bytes
f3ec5f5 e325876 f3ec5f5 e325876 |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 |
#!/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" -- |