mirror of
https://github.com/All-Hands-AI/OpenHands.git
synced 2026-04-29 03:00:45 -04:00
41 lines
1.4 KiB
Bash
Executable File
41 lines
1.4 KiB
Bash
Executable File
#!/bin/bash
|
|
# check user is root
|
|
if [ "$(id -u)" -ne 0 ]; then
|
|
echo "The OpenDevin entrypoint.sh must run as root"
|
|
exit 1
|
|
fi
|
|
|
|
if [ -z "$SANDBOX_USER_ID" ]; then
|
|
echo "SANDBOX_USER_ID is not set"
|
|
exit 1
|
|
fi
|
|
|
|
if [[ "$SANDBOX_USER_ID" -eq 0 ]]; then
|
|
echo "SANDBOX_USER_ID cannot be 0. Please run with a different user id."
|
|
exit 1
|
|
fi
|
|
|
|
# change uid of opendevin user to match the host user
|
|
# but the group id is not changed, so the user can still access everything under /app
|
|
if ! useradd -l -m -u $SANDBOX_USER_ID -s /bin/bash enduser; then
|
|
echo "Failed to create user enduser with id $SANDBOX_USER_ID. Moving opendevin user."
|
|
incremented_id=$(($SANDBOX_USER_ID + 1))
|
|
usermod -u $incremented_id opendevin
|
|
if ! useradd -l -m -u $SANDBOX_USER_ID -s /bin/bash enduser; then
|
|
echo "Failed to create user enduser with id $SANDBOX_USER_ID for a second time. Exiting."
|
|
exit 1
|
|
fi
|
|
fi
|
|
|
|
usermod -aG app enduser
|
|
mkdir -p /home/enduser/.cache/ms-playwright/
|
|
mv /home/opendevin/.cache/ms-playwright/ /home/enduser/.cache/
|
|
|
|
# get the user group of /var/run/docker.sock and set opendevin to that group
|
|
DOCKER_SOCKET_GID=$(stat -c '%g' /var/run/docker.sock)
|
|
echo "Docker socket group id: $DOCKER_SOCKET_GID"
|
|
usermod -aG $DOCKER_SOCKET_GID enduser
|
|
|
|
# switch to the user and start the server
|
|
su enduser -c "cd /app && uvicorn opendevin.server.listen:app --host 0.0.0.0 --port 3000"
|