#!/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 ##