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

Author: nhooyr

ci/release-image/Dockerfile

@@ -35,9 +35,10 @@ RUN ARCH="$(dpkg --print-architecture)" && \
     printf "user: coder\ngroup: coder\n" > /etc/fixuid/config.yml
 
 COPY release-packages/code-server*.deb /tmp/
+COPY ci/release-image/entrypoint.sh /usr/bin/entrypoint.sh
 RUN dpkg -i /tmp/code-server*$(dpkg --print-architecture).deb && rm /tmp/code-server*.deb
 
 EXPOSE 8080
 USER coder
 WORKDIR /home/coder
-ENTRYPOINT ["dumb-init", "fixuid", "-q", "/usr/bin/code-server", "--bind-addr", "0.0.0.0:8080", "."]
+ENTRYPOINT ["/usr/bin/entrypoint.sh", "--bind-addr", "0.0.0.0:8080", "."]

ci/release-image/entrypoint.sh

@@ -0,0 +1,13 @@
+#!/usr/bin/env sh
+set -eu
+
+if [ "$DOCKER_USER" ]; then
+  sudo usermod --login "$DOCKER_USER" \
+    --move-home --home "/home/$DOCKER_USER" \
+    coder
+fi
+
+# This isn't set by default.
+export USER="$(whoami)"
+
+dumb-init fixuid -q /usr/bin/code-server "$@"