diff options
| author | Dan Willemsen <dwillemsen@google.com> | 2018-04-12 16:41:17 -0700 |
|---|---|---|
| committer | Dan Willemsen <dwillemsen@google.com> | 2018-04-12 16:41:17 -0700 |
| commit | c7f16e4fd43589dd6712a7c5efe04d5cd3a56714 (patch) | |
| tree | 43c9aa7e3630b0dc2933495c47c7773454c40532 /tools/docker | |
| parent | 65ba0bf59c47f75987b67301b24820ab9512eef3 (diff) | |
| download | platform_build-c7f16e4fd43589dd6712a7c5efe04d5cd3a56714.tar.gz platform_build-c7f16e4fd43589dd6712a7c5efe04d5cd3a56714.tar.bz2 platform_build-c7f16e4fd43589dd6712a7c5efe04d5cd3a56714.zip | |
Add USER to the docker environment
Apparently Jack needs this, and my previous testing didn't show it.
Test: build & run image; echo $USER
Change-Id: I66766b230f2f3e0762a49efc9bf2c6212b2b2c4d
Diffstat (limited to 'tools/docker')
| -rw-r--r-- | tools/docker/Dockerfile | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tools/docker/Dockerfile b/tools/docker/Dockerfile index ec65aaf2df..8a4ab942cd 100644 --- 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 |