#!/bin/bash set -o errexit APPL_HOME_DIR="$(dirname "$(dirname "$0")")" #------------------------------------------------------------------------------- if [[ "$1" == "-h" ]] then echo "usage: run.sh [-h] [-i] [Args...]" echo "with -i enabling internet access." exit 0 fi if [[ "$1" == "-i" ]] then shift; export APPL_NETWORK="internet" else export APPL_NETWORK="no-internet" fi export APPL_DIR="$1" shift export APPL_NAME="$1" shift APPL_DIR=$(realpath ${APPL_DIR}) export USER_ID=$(id -u) export GROUP_ID=$(id -g) export GROUP_NAME=$(id -gn) cd "${APPL_HOME_DIR}" sbin/docker_mk_env docker compose run --rm x11-pulse /usr/local/sbin/user_add_exec ${USER_ID} ${USER} ${HOME} ${GROUP_ID} ${GROUP_NAME} "${APPL_DIR}" "${APPL_NAME}" "$@" docker compose down