Spell

tutorial/dockerfiles/dockerfile.md

@@ -43,8 +43,8 @@ docker container run -it my_editor /bin/bash
 
 ## `RUN` dans le `Dockerfile`
 
-Dans un `Dockerfile`, chaque ligne est exécutée indépendamment des
-autres et correspondra à une nouvelle couche de notre image.
+Dans un `Dockerfile`, chaque ligne est exécutée indépendamment des autres et
+correspondra à une nouvelle couche de notre image.
 
 Cela signifie que l'exemple suivant **ne fonctionne pas** :
 
@@ -54,9 +54,9 @@ RUN service mysqld start
 RUN mysql -u root -p toor virli < /db.sql
 ```
 
-Cet exemple ne fonctionne pas car le serveur MySQL est lancé dans le premier
-RUN, n'est plus lancé au moment du deuxième RUN. En effet, chaque commande du
-`Dockerfile` a pour but de modifier le système de fichiers.
+Cet exemple ne fonctionne pas car le serveur MySQL qui est lancé dans le
+premier `RUN`, n'est plus lancé au moment du deuxième `RUN`. En effet, chaque
+commande du `Dockerfile` a pour but de modifier le système de fichiers.
 
 Pour avoir le résultat escompté, il faut exécuter les commandes ensemble :
 
@@ -82,13 +82,12 @@ RUN apt-get install -y nginx
 EXPOSE 80
 ```
 
-L'instruction `EXPOSE` sera traité plus tard par le client Docker
-(équivalent à l'argument `--expose`). Il s'agit de préciser les ports
-sur lesquels votre image écoute.
+L'instruction `EXPOSE` sera traitée plus tard par le client Docker (équivalent
+à l'argument `--expose`). Il s'agit de préciser les ports sur lesquels votre
+image écoute.
 
 En utilisant l'option `-P` du `run`, vous allez pouvoir assigner une
-redirection de port aléatoire sur la machine hôte vers votre
-conteneur :
+redirection de port aléatoire sur la machine hôte vers votre conteneur :
 
 ```
 docker image build --tag=my_webserver .
@@ -96,20 +95,19 @@ docker container run -it -P my_webserver /bin/bash
 service nginx start
 ```
 
-Dans un autre terminal, lancer un `docker ps` et consulter la colonne
-*PORTS* pour connaître le port choisit par Docker pour effectuer la
-redirection.
+Dans un autre terminal, lancer un `docker ps` et consulter la colonne *PORTS*
+pour connaître le port choisi par Docker pour effectuer la redirection.
 
 Rendez-vous ensuite dans votre navigateur sur <http://localhost:49153/>.
 
-À vous de jouer : utilisez l'instruction `COPY` pour afficher votre
-propre `index.html` remplaçant celui installé de base par nginx.
+*À vous de jouer :* utilisez l'instruction `COPY` pour afficher votre propre
+`index.html` remplaçant celui installé de base par nginx.
 
 
 ## Lancement de commande automatique
 
-Vous pouvez placer dans un `Dockerfile` une instruction `CMD` qui sera
-exécutée si aucune commande n'est passée lors du `run`, par exemple :
+Vous pouvez placer dans un `Dockerfile` une instruction `CMD` qui sera exécutée
+si aucune commande n'est passée lors du `run`, par exemple :
 
 ```
 CMD nginx -g "daemon off;"
@@ -120,23 +118,22 @@ docker image build --tag=my_nginx .
 docker container run -d -P my_nginx
 ```
 
-L'option `-d` passée au `run` lance le conteneur en tâche de
-fond. Si vous constatez via un `docker ps` que le conteneur s'arrête
-directement, retirer cette option pour voir ce qui ne va pas, ou
-utilisez la commande `docker logs`.
+L'option `-d` passée au `run` lance le conteneur en tâche de fond. Si vous
+constatez via un `docker container ls` que le conteneur s'arrête directement,
+retirez cette option pour voir ce qui ne va pas, ou utilisez la commande
+`docker container logs`.
 
 
 ## D'autres instructions ?
 
-Consultez <https://docs.docker.com/engine/reference/builder/> pour la liste complète
-des instructions reconnues.
+Consultez <https://docs.docker.com/engine/reference/builder/> pour la liste
+complète des instructions reconnues.
 
 
 ## Rendu
 
 Rendez le fichier `Dockerfile` et son contexte (`index.html`, fichiers de conf
-éventuels, ...) que vous avez utilisé pour réaliser votre image
-`my_webserver`.
+éventuels, ...) que vous avez utilisé pour réaliser votre image `my_webserver`.
 
-Une attention particulière sera apporté au respect des différentes bonnes
-pratiques vues en cours pour l'écriture de `Dockerfile`.
+Une attention particulière sera apportée au respect des différentes bonnes
+pratiques vues en cours pour l'écriture du `Dockerfile`.

tutorial/dockerfiles/interactive.md

@@ -8,7 +8,7 @@ superflu : même pas d'éditeur de texte : ni vim, ni emacs, même pas `vi` !
 
 La première chose à faire est de télécharger la liste des paquets. En effet,
 afin de ne pas livrer de superflu, la liste des paquets et son cache ne sont
-pas inclues dans le conteneur.
+pas incluses dans le conteneur.
 
 ```
 apt-get update
@@ -16,7 +16,7 @@ apt-get update
 
 Il peut arriver que des paquets présents dans l'image ne soient pas à
 jour. Afin de garder un environnement cohérent, il est recommandé de ne pas
-utiliser le gestionnaire de paquets pour mettre à jour les paquets présent de
+utiliser le gestionnaire de paquets pour mettre à jour les paquets présents de
 base, mais plutôt de contacter le mainteneur de l'image pour qu'il la mette à
 jour.
 
@@ -34,8 +34,7 @@ docker container ls
 ```
 
 Cette commande liste les conteneurs actifs. Notez le *Container ID* ainsi que
-le *NAMES* du conteneur du conteneur actuellement en cours d'installation de
-`nano`.
+le *NAMES* du conteneur actuellement en cours d'installation de `nano`.
 
 Lorsque l'installation de `nano` est terminée, quittez l'image en tapant
 `exit`.
@@ -47,7 +46,7 @@ commencer directement de votre image avec `nano` :
 docker container commit CONTAINER my_nano
 ```
 
-En remplaçant `CONTAINER` par le nom ou l'identifiant de votre
+en remplaçant `CONTAINER` par le nom ou l'identifiant de votre
 container. `my_nano` est le nom que vous voudrez utiliser à la place
 d'`ubuntu` :
 
@@ -56,4 +55,4 @@ docker container run -it my_nano /bin/bash
 ```
 
 Vous constatez cette fois que vous pouvez lancer `nano`, alors que vous ne
-pouvez toujours pas le faire dans un conteneur issue d'une image `ubuntu` !
+pouvez toujours pas le faire dans un conteneur issu d'une image `ubuntu` !