You are viewing a plain text version of this content. The canonical link for it is here.
Posted to dev@pulsar.apache.org by gi...@git.apache.org on 2017/08/08 18:31:36 UTC

[GitHub] merlimat opened a new pull request #658: Use $UID instead of $USER in docker build

merlimat opened a new pull request #658: Use $UID instead of $USER in docker build
URL: https://github.com/apache/incubator-pulsar/pull/658
 
 
   ### Motivation
   
   In #652, there was an attempt to fix the website build by using current user in Docker. It doesn't work in Jenkins and the (verified) solution here is to keep using "root" inside the container, but change the owner of these files after the build, so that Jenkins can read and write from outside the container.
   
 
----------------------------------------------------------------
This is an automated message from the Apache Git Service.
To respond to the message, please log on GitHub and use the
URL above to go to the specific comment.
 
For queries about this service, please contact Infrastructure at:
users@infra.apache.org


With regards,
Apache Git Services