SANDBOX_USER_ID,i use dockerdesktop on windows

[ruanjianlun]

version: '3.8'

services:
  opendevin:
    image: ghcr.io/opendevin/opendevin:0.5
    pull_policy: always
    container_name: opendevin_container
    environment:
    # can i get SANDBOX_USER_ID from? 
      - SANDBOX_USER_ID=1000
      - LLM_API_KEY=ollama
      - LLM_MODEL="ollama/codellama:7b"
      - LLM_EMBEDDING_MODEL="local"
      - LLM_BASE_URL=http://host.docker.internal:11434
      - WORKSPACE_MOUNT_PATH=${WORKSPACE_BASE}
    volumes:
      - ${WORKSPACE_BASE}:/opt/workspace_base
      - /var/run/docker.sock:/var/run/docker.sock
    ports:
      - "3000:3000"
    extra_hosts:
      - "host.docker.internal:host-gateway"

[tholum]

all documentation I see says you will need to run it from within windows subsystem for linux, The issue is actually not SANDBOX_USER_ID but will likely be your docker.sock

volumes:
- ${WORKSPACE_BASE}:/opt/workspace_base
- /var/run/docker.sock:/var/run/docker.sock

Windows does not have /var/run/docker.sock so mapping a file /var/run/docker.sock as a volume will not work, and from my understanding without that, it will not be able to start the docker image that runs your sandbox

Take all my info with a grain of salt though, I am new to this project and I am making assumptions based on how I believe it is written, ( I know docker and linux very well, but I have only spent a few days playing with OpenDevin )

[rbren]

@ruanjianlun tholum is correct--you need to use WSL.

If that doesn't work, feel free to open a new issue with the template filled out (e.g. logs/errors you saw)