From d8577269e6d290370ff3420732585e667aa62357 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Fri, 21 Jan 2022 14:48:48 +0100 Subject: [PATCH] tutorials: run the dockers as a user --- docs/source/Tutorial_Algorithms.rst | 8 ++++---- docs/source/Tutorial_MPI_Applications.rst | 2 +- docs/source/Tutorial_Model-checking.rst | 2 +- 3 files changed, 6 insertions(+), 6 deletions(-) diff --git a/docs/source/Tutorial_Algorithms.rst b/docs/source/Tutorial_Algorithms.rst index 72eb7f3ebf..ddf196b961 100644 --- a/docs/source/Tutorial_Algorithms.rst +++ b/docs/source/Tutorial_Algorithms.rst @@ -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 -`_, simply do the following: +The easiest way to take the tutorial is to use the dedicated Docker image. +Once you `installed Docker itself `_, 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 diff --git a/docs/source/Tutorial_MPI_Applications.rst b/docs/source/Tutorial_MPI_Applications.rst index a2638d2293..a71270c766 100644 --- a/docs/source/Tutorial_MPI_Applications.rst +++ b/docs/source/Tutorial_MPI_Applications.rst @@ -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 diff --git a/docs/source/Tutorial_Model-checking.rst b/docs/source/Tutorial_Model-checking.rst index a8bebcb141..a76da2081d 100644 --- a/docs/source/Tutorial_Model-checking.rst +++ b/docs/source/Tutorial_Model-checking.rst @@ -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: -- 2.20.1