Setting jenkins uid = 1000 conflicts with host

[anthonygreen]

The Dockerfile states

# Jenkins is run with user `jenkins`, uid = 1000
# If you bind mount a volume from the host or a data container, 
# ensure you use the same uid
RUN useradd -d "$JENKINS_HOME" -u 1000 -m -s /bin/bash jenkins

Ubuntu's install user (with admin privileges) defaults to uid 1000

Should container's jenkins user default to a higher uid so that the volume on host can belong to a different user with less privileges ?

[carlossg]

see https://github.com/jenkinsci/docker#usage
use docker -u option

[anthonygreen]

That results in an error

/usr/local/bin/jenkins.sh: line 25: /var/jenkins_home/copy_reference_file.log: Permission denied

[carlossg]

that was fixed time ago, see #112