| commit | e3bb8e10dc56d74173b3db40043bf9ba4d0472bd | [log] [tgz] |
|---|---|---|
| author | Treehugger Robot <treehugger-gerrit@google.com> | Fri Apr 13 01:16:30 2018 +0000 |
| committer | Gerrit Code Review <noreply-gerritcodereview@google.com> | Fri Apr 13 01:16:30 2018 +0000 |
| tree | 43c9aa7e3630b0dc2933495c47c7773454c40532 | |
| parent | 65ba0bf59c47f75987b67301b24820ab9512eef3 [diff] | |
| parent | c7f16e4fd43589dd6712a7c5efe04d5cd3a56714 [diff] |
Merge "Add USER to the docker environment"
diff --git a/tools/docker/Dockerfile b/tools/docker/Dockerfile index ec65aaf..8a4ab94 100644 --- a/tools/docker/Dockerfile +++ b/tools/docker/Dockerfile
@@ -21,5 +21,6 @@ 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