Merge "Add USER to the docker environment"

2018-04-13 01:16:30 +00:00
parent 65ba0bf59c c7f16e4fd4
commit e3bb8e10dc
1 changed files with 1 additions and 0 deletions
--- a/tools/docker/Dockerfile
+++ b/tools/docker/Dockerfile
@@ -21,5 +21,6 @@ RUN groupadd -g $groupid $username \
 COPY gitconfig /home/$username/.gitconfig
 RUN chown $userid:$groupid /home/$username/.gitconfig
 ENV HOME=/home/$username
+ENV USER=$username

 ENTRYPOINT chroot --userspec=$(cat /root/username):$(cat /root/username) / /bin/bash -i