use -it and pull=always for docker (#1769)

This commit is contained in:
Robert Brennan 2024-05-13 19:17:57 -04:00 committed by GitHub
parent b028bd46bb
commit 2771328036
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
4 changed files with 6 additions and 0 deletions

View File

@ -53,6 +53,7 @@ version of Docker, `26.0.0`.
export WORKSPACE_BASE=$(pwd)/workspace;
docker run \
-it \
--pull=always \
-e SANDBOX_USER_ID=$(id -u) \
-e WORKSPACE_MOUNT_PATH=$WORKSPACE_BASE \

View File

@ -79,6 +79,8 @@ OpenDevin runs bash commands within a Docker sandbox, so it should not affect yo
```
docker run \
-it \
--pull=always \
-e LLM_API_KEY \
-e SANDBOX_USER_ID=$(id -u) \
-e WORKSPACE_MOUNT_PATH=$WORKSPACE_BASE \

View File

@ -44,6 +44,8 @@ For example:
export WORKSPACE_BASE=$(pwd)/workspace
docker run \
-it \
--pull=always \
--add-host host.docker.internal:host-gateway \
-e SANDBOX_USER_ID=$(id -u) \
-e LLM_API_KEY="ollama" \

View File

@ -8,6 +8,7 @@ export function Code() {
export WORKSPACE_BASE=$(pwd)/workspace`;
const dockerCode = `docker run \\
-it \\
--pull=always \\
-e SANDBOX_USER_ID=$(id -u) \\
-e WORKSPACE_MOUNT_PATH=$WORKSPACE_BASE \\