Updates: 2018, Kali + docker-machine

tutorial/docker-basis/installation.md

@@ -26,7 +26,7 @@ Assurez-vous également d'avoir un noyau récent, avec la commande `uname -r` :
 
 <div lang="en-US">
 ```
-4.13.4-gentoo
+4.18.11-gentoo
 ```
 </div>
 
@@ -37,39 +37,43 @@ Vous ne pourrez pas utiliser Docker avec un noyau antérieur à la version 3.10.
 
 En général, votre distribution mettra à votre disposition une version de Docker
 plus ou moins récente. Sous Debian et ses dérivés (Ubuntu, Mint, ...) le paquet
-a été nommé `docker.io`.
+a été nommé [`docker.io`](https://packages.debian.org/sid/docker.io).
 
 Si dans un environnement de production, on préférera sans doute utiliser une
 version déjà bien éprouvée, pour ce cours, nous allons avoir besoin de la
 dernière version disponible. Référez-vous à la documentation officielle
 correspondant à votre distribution :
 
-<https://docs.docker.com/engine/installation/linux/docker-ce/debian/>
+<https://docs.docker.com/install/linux/docker-ce/debian/>
 
 
-### Versions de Docker
+### Et Kali Linux alors ?
 
-Historiquement, Docker est un projet open-source. Depuis peu, le business-model
+Kali étant basée sur Debian, référez-vous à la procédure d'installation de
-de la société a évolué et ils proposent désormais deux éditions : *Community
+Debian *Jessie or newer*.
-Edition* et *Enterprise Edition*. La seconde est payante et possède un certain
-nombre d'atouts pour faciliter son adoption en entreprise (notamment pas mal
-d'interfaces graphiques, etc.). Le cœur de la technologie est quant à lui
-entièrement présent dans l'édition communautaire.
 
-Depuis mars dernier, les numéros de version de Docker sont tirés de l'année et
-du mois de parution (comme on a l'habitude avec Ubuntu 16.04 par exemple). Le
-rythme actuel de parution est d'une version par trimestre (mars, juin,
-septembre, décembre).[^versions]
 
-[^versions]: Tous les détails sur les versions (CE/EE et numérotation,
+## Windows et macOS
-    fréquences, ...) sont résumés dans cette annonce :
+
-    <https://blog.docker.com/2017/03/docker-enterprise-edition/>
+Bien que les fonctionnalités de contenerisation de Docker que nous utiliserons
+ne soient disponibles que sous Linux, il est possible d'utiliser Docker de
+manière déportée : le daemon Docker tournera dans une VM Linux, mais vous
+pourriez interagir avec lui via votre ligne de commande habituelle.
+
+Téléchargez la version correspondante à votre système d'exploitation :
+
+* [Docker for Mac](https://store.docker.com/editions/community/docker-ce-desktop-mac)
+* [Docker for Windows](https://store.docker.com/editions/community/docker-ce-desktop-windows)
+
+Une fois l'installation terminée, lancez l'application : elle ajoutera une
+icône dans la zone de notification, vous permettant de contrôler l'exécution de
+la machine virtuelle sous-jacente.
 
 
 ## Évaluation en ligne
 
 Si vous rencontrez des difficultés pour vous lancer, le projet
-[Play With Docker](https://play-with-docker.com/) vous donne accès à
+[Play With Docker](https://labs.play-with-docker.com/) vous donne accès à
 un bac à sable dans lequel vous pourrez commencer à faire ce TP.
 
 
@@ -88,24 +92,46 @@ Une sortie similaire au bloc suivant devrait apparaître sur votre écran :
 <div lang="en-US">
 ```
 Client:
- Version:      17.09.0-ce
+ Version:           18.06.1-ce
- API version:  1.32
+ API version:       1.38
- Go version:   go1.9
+ Go version:        go1.10.3
- Git commit:   cec0b72
+ Git commit:        e68fc7a
- Built:        Thu Sep 14 19:57:50 2017
+ Built:             Sun Sep  9 10:14:56 2018
- OS/Arch:      linux/amd64
+ OS/Arch:           linux/amd64
+ Experimental:      false
 
 Server:
- Version:      17.09.0-ce
+ Engine:
- API version:  1.32 (minimum version 1.12)
+  Version:          18.06.1-ce
- Go version:   go1.9
+  API version:      1.38 (minimum version 1.12)
- Git commit:   cec0b72
+  Go version:       go1.10.3
- Built:        Thu Sep 14 21:50:58 2017
+  Git commit:       e68fc7a
- OS/Arch:      linux/amd64
+  Built:            Sun Sep  9 10:13:21 2018
- Experimental: false
+  OS/Arch:          linux/amd64
+  Experimental:     true
 ```
 </div>
 
+
+### Versions de Docker
+
+Historiquement, Docker est un projet open-source. Depuis quelques années, le
+business-model de la société a évolué et ils proposent désormais deux
+éditions : *Community Edition* et *Enterprise Edition*. La seconde est payante
+et possède un certain nombre d'atouts pour faciliter son adoption en entreprise
+(notamment pas mal d'interfaces graphiques, etc.). Le cœur de la technologie
+est quant à lui entièrement présent dans l'édition communautaire.
+
+Depuis mars 2017, les numéros de version de Docker sont tirés de l'année et
+du mois de parution (comme on a l'habitude avec Ubuntu 16.04 par exemple). Le
+rythme actuel de parution est d'une version par trimestre (mars, juin,
+septembre, décembre).[^versions]
+
+[^versions]: Tous les détails sur les versions (CE/EE et numérotation,
+    fréquences, ...) sont résumés dans cette annonce :
+    <https://blog.docker.com/2017/03/docker-enterprise-edition/>
+
+
 ### `no such file or directory`?
 
 Si vous avez cette erreur : `dial unix /var/run/docker.sock: no such file or
@@ -121,7 +147,7 @@ sudo service docker restart
 ### `permission denied`?
 
 Si vous avez cette erreur : `dial unix /var/run/docker.sock: permission
-denied.`, ajoutez votre utilisateur au groupe `docker` et **relancer votre
+denied.`, ajoutez votre utilisateur au groupe `docker` et **relancez votre
 session** :
 
 <div lang="en-US">