tree 7dfbb0fb62f415d4b44867c7cbabf657a1ce215d
parent edfaf5ee6bc631889939180cbc744edd10f3a975
author Marco Miller <marco.miller@ericsson.com> 1574893074 -0500
committer Marco Miller <marco.miller@ericsson.com> 1574983298 -0500

Docker: Support optional non-default gerrit userid

For some execution environments, the user with id 1000 cannot be used by
the host user running docker. Meaning, that user 1000 is restricted or
out of current user's control. Allow to pass the latter's own id to
docker so the containers use that one instead as the gerrit user.

Otherwise, docker's default id 1000 gets used as before this change.
Using the proper id matters so containers are able to write to mounted
volume directories and files. This is also the case for files manually
handled by scripts run within containers.

Bump the docker-compose version so the --build-arg option becomes
usable. I.e., without having to explictly build each composed service.
Replace the removed volumes_from clause accordingly with version 3's way
of mounting the same volumes.

Change-Id: If25f6dbfd835d9bf7fe1118aecd3945ac4ff7b65