Spaces:
Paused
Paused
Commit
•
237eb1b
1
Parent(s):
e325876
Update start_server.sh
Browse files- start_server.sh +1 -6
start_server.sh
CHANGED
|
@@ -1,12 +1,7 @@
|
|
| 1 |
#!/bin/bash
|
| 2 |
|
| 3 |
# Default workspace directory
|
| 4 |
-
WORKSPACE_DIR="/
|
| 5 |
-
|
| 6 |
-
# Check if /data exists and is writable
|
| 7 |
-
if [ -d "/data" ] && [ -w "/data" ]; then
|
| 8 |
-
WORKSPACE_DIR="/data"
|
| 9 |
-
fi
|
| 10 |
|
| 11 |
echo "Starting VSCode Server on $WORKDIR_PATH..."
|
| 12 |
|
|
|
|
| 1 |
#!/bin/bash
|
| 2 |
|
| 3 |
# Default workspace directory
|
| 4 |
+
WORKSPACE_DIR="/data"
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 5 |
|
| 6 |
echo "Starting VSCode Server on $WORKDIR_PATH..."
|
| 7 |
|