Docker - Revision history

GiulioFontana at 13:37, 17 November 2025

2025-11-17T13:37:24Z

← Older revision		Revision as of 13:37, 17 November 2025
Line 1:		Line 1:
			<big>
	<span style="background:#00FF00">TO BE REVISED: all this section requires revision</span>		<span style="background:#00FF00">TO BE REVISED: all this section requires revision</span>
			</big>

	This page is a simple guide to the creation of [[System#Docker containers\|Docker containers]].		This page is a simple guide to the creation of [[System#Docker containers\|Docker containers]].

GiulioFontana at 13:36, 17 November 2025

2025-11-17T13:36:56Z

← Older revision		Revision as of 13:36, 17 November 2025
Line 1:		Line 1:
			<span style="background:#00FF00">TO BE REVISED: all this section requires revision</span>

	This page is a simple guide to the creation of [[System#Docker containers\|Docker containers]].		This page is a simple guide to the creation of [[System#Docker containers\|Docker containers]].

GiulioFontana at 20:33, 10 December 2022

2022-12-10T20:33:18Z

← Older revision		Revision as of 20:33, 10 December 2022
Line 6:		Line 6:


	=Precondition=		= Precondition =

	In order to prepare Docker containers for Mufasa, you will need to install on your own computer the following software packages:		In order to prepare Docker containers for Mufasa, you will need to install on your own computer the following software packages:
Line 26:		Line 26:

	=Basic concepts=		=Basic concepts=

	From [https://docs.docker.com/get-started/overview/ Docker's documentation]:		From [https://docs.docker.com/get-started/overview/ Docker's documentation]:

Line 51:		Line 52:
	As a consequence, installation of software libraries in the Docker container is better managed by running commands within the container itself when it gets executed, not by installing the libraries within the original Docker image: this way it is possible to change the version of the libraries without having to re-create the original image file every time a new version of the libraries is released.		As a consequence, installation of software libraries in the Docker container is better managed by running commands within the container itself when it gets executed, not by installing the libraries within the original Docker image: this way it is possible to change the version of the libraries without having to re-create the original image file every time a new version of the libraries is released.

	=Creation of a Docker image=		= Creation of a Docker image =

	== Preparation ==		== Preparation ==
Line 130:		Line 131:
	: <code>ENTRYPOINT [ “/bin/bash”, “/opt/run.sh” ]</code>		: <code>ENTRYPOINT [ “/bin/bash”, “/opt/run.sh” ]</code>

	==Creation of the Docker image==		== Creation of the Docker image==

	Once the Dockerfile is completed and all the material required by the image is in place in the work directory, it is time to create the image. The container image describes the container and can be subsequently used to create a container file: for instance, one formatted using the .sqsh format accepted by SLURM.		Once the Dockerfile is completed and all the material required by the image is in place in the work directory, it is time to create the image. The container image describes the container and can be subsequently used to create a container file: for instance, one formatted using the .sqsh format accepted by SLURM.
Line 152:		Line 153:
	During image creation, all the commands specified in the Dockerfile are executed (e.g., for the installation of libraries).		During image creation, all the commands specified in the Dockerfile are executed (e.g., for the installation of libraries).

	==Image library==		== Image library ==

	Docker maintains a local repository of (compressed) images that are available on the local computer (i.e. the one used for image creation). Every time a new image is created on the machine, it gets automatically added to the local repository.		Docker maintains a local repository of (compressed) images that are available on the local computer (i.e. the one used for image creation). Every time a new image is created on the machine, it gets automatically added to the local repository.
Line 203:		Line 204:
	<code>enroot import dockerd://docker_test:v1</code>		<code>enroot import dockerd://docker_test:v1</code>

	=Additional resources=		= Additional resources =
	See the [[Resources#Docker\|Docker section of the Resources page]] for other resources (e.g., HOWTOs) about Docker.		See the [[Resources#Docker\|Docker section of the Resources page]] for other resources (e.g., HOWTOs) about Docker.

GiulioFontana at 11:10, 24 June 2022

2022-06-24T11:10:10Z

← Older revision		Revision as of 11:10, 24 June 2022
Line 3:		Line 3:
	Docker containers are important for Mufasa users since [[User Jobs#Executing jobs on Mufasa\|user processes must always be run within Docker containers]].		Docker containers are important for Mufasa users since [[User Jobs#Executing jobs on Mufasa\|user processes must always be run within Docker containers]].

	On Mufasa, Docker containers ~~are~~ run [[User_Jobs#Using_SLURM_to_run_a_Docker_container\|via the SLURM scheduling system]].		On Mufasa, Docker containers must be run [[User_Jobs#Using_SLURM_to_run_a_Docker_container\|via the SLURM scheduling system]].

GiulioFontana at 13:16, 24 February 2022

2022-02-24T13:16:38Z

← Older revision		Revision as of 13:16, 24 February 2022
Line 1:		Line 1:
	This page ~~intends to provide~~ a simple guide to the creation of [[System#Docker containers\|Docker containers]].		This page is a simple guide to the creation of [[System#Docker containers\|Docker containers]].

	Docker containers are important for Mufasa users since [[User Jobs#Executing jobs on Mufasa\|user processes must always be run within Docker containers]].		Docker containers are important for Mufasa users since [[User Jobs#Executing jobs on Mufasa\|user processes must always be run within Docker containers]].

GiulioFontana at 16:57, 18 February 2022

2022-02-18T16:57:59Z

← Older revision		Revision as of 16:57, 18 February 2022
Line 1:		Line 1:
	This page intends to provide a simple guide to the creation of [[System#Docker containers\|Docker containers]] ~~for use on Mufasa~~.		This page intends to provide a simple guide to the creation of [[System#Docker containers\|Docker containers]].

	Docker containers are important for Mufasa users since [[User Jobs#Executing jobs on Mufasa\|user processes must always be run within Docker containers]].		Docker containers are important for Mufasa users since [[User Jobs#Executing jobs on Mufasa\|user processes must always be run within Docker containers]].

GiulioFontana at 16:57, 18 February 2022

2022-02-18T16:57:41Z

← Older revision		Revision as of 16:57, 18 February 2022
Line 1:		Line 1:
	This page intends to provide a ~~very~~ simple guide to the creation of [[System#Docker containers\|Docker containers]].		This page intends to provide a simple guide to the creation of [[System#Docker containers\|Docker containers]] for use on Mufasa.

	Docker containers are important for Mufasa users since [[User Jobs#Executing jobs on Mufasa\|user processes must always be run within Docker containers]].		Docker containers are important for Mufasa users since [[User Jobs#Executing jobs on Mufasa\|user processes must always be run within Docker containers]].

GiulioFontana at 13:17, 18 February 2022

2022-02-18T13:17:37Z

← Older revision		Revision as of 13:17, 18 February 2022
Line 4:		Line 4:

	On Mufasa, Docker containers are run [[User_Jobs#Using_SLURM_to_run_a_Docker_container\|via the SLURM scheduling system]].		On Mufasa, Docker containers are run [[User_Jobs#Using_SLURM_to_run_a_Docker_container\|via the SLURM scheduling system]].


	=Precondition=		=Precondition=

GiulioFontana: /* Other resources */

2022-02-08T14:49:03Z

Other resources

← Older revision		Revision as of 14:49, 8 February 2022
Line 202:		Line 202:
	<code>enroot import dockerd://docker_test:v1</code>		<code>enroot import dockerd://docker_test:v1</code>

	=~~Other~~ resources=		=Additional resources=
	See the [[Resources\|Resources page ~~of this wiki~~]] for ~~guides and~~ other resources about Docker.		See the [[Resources#Docker\|Docker section of the Resources page]] for other resources (e.g., HOWTOs) about Docker.

GiulioFontana: /* Other resources */

2022-02-08T14:31:44Z

Other resources

← Older revision		Revision as of 14:31, 8 February 2022
Line 203:		Line 203:

	=Other resources=		=Other resources=
	See the [[Resources\|~~resource~~ page]] of this wiki for guides and other resources about Docker.		See the [[Resources\|Resources page of this wiki]] for guides and other resources about Docker.