Backup-bdg/OpenHands

1#!/usr/bin/env bash2set -o pipefail3 4function get_docker() {5    echo "Docker is required to build and run OpenHands."6    echo "https://docs.docker.com/get-started/get-docker/"7    exit 18}9 10function check_tools() {11	command -v docker &>/dev/null || get_docker12}13 14function exit_if_indocker() {15    if [ -f /.dockerenv ]; then16        echo "Running inside a Docker container. Exiting..."17        exit 118    fi19}20 21#22exit_if_indocker23 24check_tools25 26##27OPENHANDS_WORKSPACE=$(git rev-parse --show-toplevel)28 29cd "$OPENHANDS_WORKSPACE/containers/dev/" || exit 130 31##32export BACKEND_HOST="0.0.0.0"33#34export SANDBOX_USER_ID=$(id -u)35export WORKSPACE_BASE=${WORKSPACE_BASE:-$OPENHANDS_WORKSPACE/workspace}36 37docker compose run --rm --service-ports "$@" dev38 39##40