diff options
author | Googler <noreply@google.com> | 2016-06-01 19:37:37 +0000 |
---|---|---|
committer | Dmitry Lomov <dslomov@google.com> | 2016-06-02 11:44:00 +0000 |
commit | 2c56d33d0ccfc04c1ae600d8f2b4f95016a0ed74 (patch) | |
tree | 5031f7258d7fff00958d89377158c7dea597658a /CONTRIBUTORS | |
parent | 449a2a84f7455c54425e3faaa95d0786b1dad9e8 (diff) |
Wire up the |user| parameter to |docker_build|.
The Docker USER parameter[1] specifies the system user that the contained
process will run under, amoungst other things. The |docker_build| function
already has an argument for this, but it was previously ignored.
[1] https://docs.docker.com/engine/reference/builder/#user
--
MOS_MIGRATED_REVID=123782558
Diffstat (limited to 'CONTRIBUTORS')
0 files changed, 0 insertions, 0 deletions