#!/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 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 default /sbin/user_add_exec ${USER_ID} ${USER} ${HOME} ${GROUP_ID} ${GROUP_NAME} ${APPL_DIR}/${APPL_NAME} $*