be more dynamic around uid generation (#1584)

* be more dynamic around uid generation

* fix comment

* fix second uid add
This commit is contained in:
Robert Brennan
2024-05-04 22:26:55 -04:00
committed by GitHub
parent 24c5bcb502
commit 7b6b4e3a11
2 changed files with 17 additions and 2 deletions

View File

@@ -33,7 +33,8 @@ FROM python:3.12-slim as runtime
WORKDIR /app
ENV RUN_AS_DEVIN=true
ENV OPENDEVIN_USER_ID=1000
# A random number--we need this to be different from the user's UID on the host machine
ENV OPENDEVIN_USER_ID=42420
ENV USE_HOST_NETWORK=false
ENV SSH_HOSTNAME=host.docker.internal
ENV WORKSPACE_BASE=/opt/workspace_base