|
#!/bin/bash
|
|
set -o pipefail
|
|
|
|
function get_docker() {
|
|
echo "Docker is required to build and run OpenHands."
|
|
echo "https://docs.docker.com/get-started/get-docker/"
|
|
exit 1
|
|
}
|
|
|
|
function check_tools() {
|
|
command -v docker &>/dev/null || get_docker
|
|
}
|
|
|
|
function exit_if_indocker() {
|
|
if [ -f /.dockerenv ]; then
|
|
echo "Running inside a Docker container. Exiting..."
|
|
exit 1
|
|
fi
|
|
}
|
|
|
|
|
|
exit_if_indocker
|
|
|
|
check_tools
|
|
|
|
|
|
OPENHANDS_WORKSPACE=$(git rev-parse --show-toplevel)
|
|
|
|
cd "$OPENHANDS_WORKSPACE/containers/dev/" || exit 1
|
|
|
|
|
|
export BACKEND_HOST="0.0.0.0"
|
|
|
|
export SANDBOX_USER_ID=$(id -u)
|
|
export WORKSPACE_BASE=${WORKSPACE_BASE:-$OPENHANDS_WORKSPACE/workspace}
|
|
|
|
docker compose run --rm --service-ports "$@" dev
|
|
|
|
|
|
|
