Merge "Add USER to the docker environment"

am: e3bb8e10dc Change-Id: I0008447de4d8c251371cce4c234eb052ac9a5666
2018-04-12 18:30:27 -07:00 · 2018-04-12 18:30:27 -07:00 · 5aac651374
parent 4157c834db e3bb8e10dc
commit 5aac651374
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