diff --git a/docker-exec.sh b/docker-exec.sh index 4b1c103..f2c842d 100755 --- a/docker-exec.sh +++ b/docker-exec.sh @@ -27,12 +27,17 @@ clean_build_cache(){ if [ -d $BUILDCACHE ]; then rm -r $BUILDCACHE; fi if [ -d .dart_tool ]; then rm -r .dart_tool; fi if [ -d build ]; then rm -r build; fi - $DOCKER builder prune --all --force + $DOCKER builder prune } build_image(){ # docker doesnt support --progress=PLAIN - $DOCKER build --build-arg USER_ID=$(id -u) --build-arg GROUP_ID=$(id -g) -t d4rt-formulas-builder -f Dockerfile . + local USERMAPING + if [ $DOCKER = 'docker' ] + then + USERMAPING="--build-arg USER_ID=$(id -u) --build-arg GROUP_ID=$(id -g)" + fi + $DOCKER build $USERMAPING -t d4rt-formulas-builder -f Dockerfile . } graphic_options(){ @@ -76,7 +81,10 @@ spi_options(){ docker_options(){ if [ "$DOCKER" = "podman" ] then - printf " %s " "--userns=keep-id" + #printf " %s " "--userns=keep-id" + printf "" + else + printf " %s " "--user $(id -u):$(id -g)" fi } @@ -88,7 +96,6 @@ exec_in_container(){ $DOCKER run \ -it \ - --user $(id -u):$(id -g) \ --init \ --rm \ $DOCKEROPTIONS \