code-server/ci/release-image/entrypoint.sh

#!/bin/sh
set -eu

# We do this first to ensure sudo works below when renaming the user.
# Otherwise the current container UID may not exist in the passwd database.
eval "$(fixuid -q)"

if [ "${DOCKER_USER-}" ]; then
  echo "$DOCKER_USER ALL=(ALL) NOPASSWD:ALL" | sudo tee -a /etc/sudoers.d/nopasswd > /dev/null
  # Unfortunately we cannot change $HOME as we cannot move any bind mounts
  # nor can we bind mount $HOME into a new home as that requires a privileged container.
  sudo usermod --login "$DOCKER_USER" coder
  sudo groupmod -n "$DOCKER_USER" coder

  USER="$DOCKER_USER"

  sudo sed -i "/coder/d" /etc/sudoers.d/nopasswd
fi

dumb-init /usr/bin/code-server "$@"
docker: Fix $DOCKER_USER (#2057) We do not try renaming $HOME anymore as there is no good way to do it. We also only try to convert if the user hasn't been changed. Finally I added usage to the docker docs in install.md Closes #2056 2020-09-04 00:38:40 +02:00			`#!/bin/sh`
docker: Allow passing $DOCKER_USER to set the username in the container Needs to be reflected in the documentation and the dockerhub description now. Closes #881 2020-08-25 21:38:12 +02:00			`set -eu`

release-image: Remap UID within the image before handling $DOCKER_USER (#2223) If do not update the UID within the passwd database to match whatever uid the container is being ran as, then sudo will not work when renaming the user to match $DOCKER_USER as it will complain about the current user being non-existent. 2020-10-23 18:07:08 +02:00			`# We do this first to ensure sudo works below when renaming the user.`
			`# Otherwise the current container UID may not exist in the passwd database.`
			`eval "$(fixuid -q)"`

			`if [ "${DOCKER_USER-}" ]; then`
docker: Allow passing $DOCKER_USER to set the username in the container Needs to be reflected in the documentation and the dockerhub description now. Closes #881 2020-08-25 21:38:12 +02:00			`echo "$DOCKER_USER ALL=(ALL) NOPASSWD:ALL" \| sudo tee -a /etc/sudoers.d/nopasswd > /dev/null`
docker: Fix $DOCKER_USER (#2057) We do not try renaming $HOME anymore as there is no good way to do it. We also only try to convert if the user hasn't been changed. Finally I added usage to the docker docs in install.md Closes #2056 2020-09-04 00:38:40 +02:00			`# Unfortunately we cannot change $HOME as we cannot move any bind mounts`
			`# nor can we bind mount $HOME into a new home as that requires a privileged container.`
			`sudo usermod --login "$DOCKER_USER" coder`
docker: Allow passing $DOCKER_USER to set the username in the container Needs to be reflected in the documentation and the dockerhub description now. Closes #881 2020-08-25 21:38:12 +02:00			`sudo groupmod -n "$DOCKER_USER" coder`

Unrelated fixes for CI 2020-09-09 06:07:04 +02:00			`USER="$DOCKER_USER"`
docker: Fix $DOCKER_USER (#2057) We do not try renaming $HOME anymore as there is no good way to do it. We also only try to convert if the user hasn't been changed. Finally I added usage to the docker docs in install.md Closes #2056 2020-09-04 00:38:40 +02:00
docker: Allow passing $DOCKER_USER to set the username in the container Needs to be reflected in the documentation and the dockerhub description now. Closes #881 2020-08-25 21:38:12 +02:00			`sudo sed -i "/coder/d" /etc/sudoers.d/nopasswd`
			`fi`

release-image: Remap UID within the image before handling $DOCKER_USER (#2223) If do not update the UID within the passwd database to match whatever uid the container is being ran as, then sudo will not work when renaming the user to match $DOCKER_USER as it will complain about the current user being non-existent. 2020-10-23 18:07:08 +02:00			`dumb-init /usr/bin/code-server "$@"`