redox/docker/entrypoint.sh

#!/usr/bin/env bash

# Use -e LOCAL_UID="$(id -u)" -e LOCAL_GID="$(id -g)"
# on the docker run command line if the container build user is different
# from the run user

CONT_UID=`id -u user`
CONT_GID=`id -g user`
RUN_UID=${LOCAL_UID:-$CONT_UID}
RUN_GID=${LOCAL_GID:-$CONT_GID}

if [ $RUN_UID != $CONT_UID ] || [ $RUN_GID != $CONT_GID ]; then
    echo -e "\033[01;38;5;155mChanging user id:group to ${RUN_UID}:${RUN_GID}. Please wait...\033[0m"
    groupmod -g $RUN_GID user
    usermod -u $RUN_UID -g $RUN_GID user
fi

exec gosu user:user "$@"
Build docker container with ready to use user env Prepare user environment at build time and update user and group id at runtime if necessary. Update submodule sync step to avoid a dependency on cargo Run `make update all` instead of just `make all`. The target `update` didn't update the container environment since it was executed on the host. 2017-07-24 17:15:45 +02:00			`#!/usr/bin/env bash`
Add Dockerfile for build system. 2017-06-21 09:30:31 +02:00
Build docker container with ready to use user env Prepare user environment at build time and update user and group id at runtime if necessary. Update submodule sync step to avoid a dependency on cargo Run `make update all` instead of just `make all`. The target `update` didn't update the container environment since it was executed on the host. 2017-07-24 17:15:45 +02:00			`# Use -e LOCAL_UID="$(id -u)" -e LOCAL_GID="$(id -g)"`
			`# on the docker run command line if the container build user is different`
			`# from the run user`
Add Dockerfile for build system. 2017-06-21 09:30:31 +02:00
Build docker container with ready to use user env Prepare user environment at build time and update user and group id at runtime if necessary. Update submodule sync step to avoid a dependency on cargo Run `make update all` instead of just `make all`. The target `update` didn't update the container environment since it was executed on the host. 2017-07-24 17:15:45 +02:00			CONT_UID=`id -u user`
			CONT_GID=`id -g user`
			`RUN_UID=${LOCAL_UID:-$CONT_UID}`
			`RUN_GID=${LOCAL_GID:-$CONT_GID}`
Add Dockerfile for build system. 2017-06-21 09:30:31 +02:00
Build docker container with ready to use user env Prepare user environment at build time and update user and group id at runtime if necessary. Update submodule sync step to avoid a dependency on cargo Run `make update all` instead of just `make all`. The target `update` didn't update the container environment since it was executed on the host. 2017-07-24 17:15:45 +02:00			`if [ $RUN_UID != $CONT_UID ] \|\| [ $RUN_GID != $CONT_GID ]; then`
			`echo -e "\033[01;38;5;155mChanging user id:group to ${RUN_UID}:${RUN_GID}. Please wait...\033[0m"`
			`groupmod -g $RUN_GID user`
			`usermod -u $RUN_UID -g $RUN_GID user`
			`fi`
Add Dockerfile for build system. 2017-06-21 09:30:31 +02:00
			`exec gosu user:user "$@"`