|
@@ -28,12 +28,22 @@ You can also [build your own runtime image](how-to/custom-sandbox-guide).
|
|
|
### Connecting to Your filesystem
|
|
### Connecting to Your filesystem
|
|
|
One useful feature here is the ability to connect to your local filesystem.
|
|
One useful feature here is the ability to connect to your local filesystem.
|
|
|
|
|
|
|
|
-To mount your filesystem into the runtime, add the following options to
|
|
|
|
|
-the `docker run` command:
|
|
|
|
|
-
|
|
|
|
|
|
|
+To mount your filesystem into the runtime, first set WORKSPACE_BASE:
|
|
|
```bash
|
|
```bash
|
|
|
export WORKSPACE_BASE=/path/to/your/code
|
|
export WORKSPACE_BASE=/path/to/your/code
|
|
|
|
|
|
|
|
|
|
+# Linux and Mac Example
|
|
|
|
|
+# export WORKSPACE_BASE=$HOME/OpenHands
|
|
|
|
|
+# Will set $WORKSPACE_BASE to /home/<username>/OpenHands
|
|
|
|
|
+#
|
|
|
|
|
+# WSL on Windows Example
|
|
|
|
|
+# export WORKSPACE_BASE=/mnt/c/dev/OpenHands
|
|
|
|
|
+# Will set $WORKSPACE_BASE to C:\dev\OpenHands
|
|
|
|
|
+```
|
|
|
|
|
+
|
|
|
|
|
+then add the following options to the `docker run` command:
|
|
|
|
|
+
|
|
|
|
|
+```bash
|
|
|
docker run # ...
|
|
docker run # ...
|
|
|
-e SANDBOX_USER_ID=$(id -u) \
|
|
-e SANDBOX_USER_ID=$(id -u) \
|
|
|
-e WORKSPACE_MOUNT_PATH=$WORKSPACE_BASE \
|
|
-e WORKSPACE_MOUNT_PATH=$WORKSPACE_BASE \
|