Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Remove VOLUME #55

Closed
wants to merge 1 commit into from
Closed

Remove VOLUME #55

wants to merge 1 commit into from

Conversation

huslage
Copy link

@huslage huslage commented Feb 10, 2015

The end-user should be left to determine if they want to bake configs into the image or use a volume.

While I understand that the $JENKINS_HOME variable can be used to override the directory in child images, this is not conventional in official images on Docker Hub. Official builds are often used as immutable building blocks for other containers and those containers are where the determination of storage should be made. Even if a child image is not made, a user can easily specify a volume on the command-line for storing state outside of a container.

Additionally, if a user does not look at the Dockerfile or documentation properly they could leave orphaned volumes laying around when they remove the container.

The end-user should be left to determine if they want to bake configs into the image or use a volume. 

While I understand that the $JENKINS_HOME variable can be used to override the directory in child images, that is not conventional in official images on Docker Hub. Official builds are often used immutable building blocks for other containers and those containers are where the determination of storage should be made. Even if a child image is not made, a user can easily specify a volume on the command-line for storing state outside of a container.
@ndeloof
Copy link
Contributor

ndeloof commented Mar 17, 2015

👎 most users do use this plain image and rely on persistent JENKINS_HOME to customize installation.

Also, docker user has to read the Dockerfile in all case to determine the port being exposed, so can check volumes as well.

@ndeloof ndeloof closed this Mar 17, 2015
@frami
Copy link

frami commented Apr 12, 2017

I agree with @huslage. The end-user should decide if he want use a docker volume. In my case the problem is, that i create a child image which copy some files into JENKINS_HOME. This files are owned by root and it's not possible to change it do the jenkins user. See moby/moby#3465

LinuxSuRen pushed a commit to alauda/jenkins-docker that referenced this pull request Sep 17, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants