Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
tutorials: run the dockers as a user
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 21 Jan 2022 13:48:48 +0000 (14:48 +0100)
committerMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 21 Jan 2022 13:48:48 +0000 (14:48 +0100)
docs/source/Tutorial_Algorithms.rst
docs/source/Tutorial_MPI_Applications.rst
docs/source/Tutorial_Model-checking.rst

index 72eb7f3..ddf196b 100644 (file)
@@ -364,14 +364,14 @@ was obtained with the Triva software.
 Using Docker
 ............
 
-The easiest way to take the tutorial is to use the dedicated Docker
-image. Once you `installed Docker itself
-<https://docs.docker.com/install/>`_, simply do the following:
+The easiest way to take the tutorial is to use the dedicated Docker image. 
+Once you `installed Docker itself <https://docs.docker.com/install/>`_, simply do the following:
 
 .. code-block:: console
 
    $ docker pull simgrid/tuto-s4u
-   $ docker run -it --rm --name simgrid --volume ~/simgrid-tutorial:/source/tutorial simgrid/tuto-s4u bash
+   $ mkdir ~/simgrid-tutorial
+   $ docker run --user $UID:$GID -it --rm --name simgrid --volume ~/simgrid-tutorial:/source/tutorial simgrid/tuto-s4u bash
 
 This will start a new container with all you need to take this
 tutorial, and create a ``simgrid-tutorial`` directory in your home on
index a2638d2..a71270c 100644 (file)
@@ -268,7 +268,7 @@ image. Once you `installed Docker itself
 .. code-block:: console
 
    $ docker pull simgrid/tuto-smpi
-   $ docker run -it --rm --name simgrid --volume ~/smpi-tutorial:/source/tutorial simgrid/tuto-smpi bash
+   $ docker run --user $UID:$GID -it --rm --name simgrid --volume ~/smpi-tutorial:/source/tutorial simgrid/tuto-smpi bash
 
 This will start a new container with all you need to take this
 tutorial, and create a ``smpi-tutorial`` directory in your home on
index a8bebcb..a76da20 100644 (file)
@@ -52,7 +52,7 @@ on Mac OS X yet, so mac users should stick to the docker method for now.
 
    $ docker image pull simgrid/tuto-mc
    $ mkdir ~/tuto-mcsimgrid # or chose another directory to share between your computer and the docker container
-   $ docker run -it --rm --name mcsimgrid --volume ~/tuto-mcsimgrid:/source/tutorial simgrid/tuto-mc bash
+   $ docker run --user $UID:$GID -it --rm --name mcsimgrid --volume ~/tuto-mcsimgrid:/source/tutorial simgrid/tuto-mc bash
 
 In the container, you have access to the following directories of interest: