#!/bin/bash if [[ -z "${DOCKER_TAG}" ]]; then # The default tag name should be hardcoded # to whatever we are currently using in CI on this branch TAG_NAME="2022-08-16" else TAG_NAME="${DOCKER_TAG}" fi PX4_DOCKER_REPO="ghcr.io/px4/px4-dev:$TAG_NAME" echo "[docker_run.sh]: Running '$PX4_DOCKER_REPO'" PWD=$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd ) SRC_DIR=$PWD/../ docker run -it --rm -w "${SRC_DIR}" \ --env=LOCAL_USER_ID="$(id -u)" \ --env=AWS_ACCESS_KEY_ID \ --env=AWS_SECRET_ACCESS_KEY \ --env=BRANCH_NAME \ --env=CCACHE_DIR="${CCACHE_DIR}" \ --env=CI \ --publish 14556:14556/udp \ --volume=/tmp/.X11-unix:/tmp/.X11-unix \ --volume=/tmp:/tmp:rw \ --volume=${SRC_DIR}:${SRC_DIR}:rw \ ${PX4_DOCKER_REPO} /bin/bash -c "$1 $2 $3"