tutorial: Reorder chapters for better grouping

This commit is contained in:
nemunaire 2021-09-21 11:44:12 +02:00
commit 0093949c4d
12 changed files with 110 additions and 73 deletions

View file

@ -1,12 +1,12 @@
\newpage
Installation
============
------------
Avant de voir de quoi il s'agit, afin de gagner du temps, nous allons commencer
par installer Docker.
## Prérequis
### Prérequis
Docker repose sur plusieurs techniques implémentées dans les récents noyaux
Linux (et plus marginalement, Windows). Nous consacrerons les prochains cours à
@ -46,7 +46,7 @@ Rassurez-vous, même si vous n'avez pas compilé le dernier noyau disponible sur
[`kernel.org`](https://www.kernel.org/), Docker s'utilise à partir de Linux 3.10.
## Par le gestionnaire de paquets
### Par le gestionnaire de paquets
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
@ -64,7 +64,7 @@ distribution :
la procédure d'installation de cette distribution.
## Windows et macOS
### Windows et macOS
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
@ -88,7 +88,7 @@ reste libre, mais seulement les applications Docker Desktop.
[^DockerSubscription]: <https://www.docker.com/blog/updating-product-subscriptions/>
## Évaluation en ligne
### Évaluation en ligne
Si vous rencontrez des difficultés pour vous lancer, le projet
[Play With Docker](https://labs.play-with-docker.com/) vous donne accès à
@ -99,7 +99,7 @@ Docker](https://hub.docker.com/signup). Une fois identifié, vous pourrez créer
une nouvelle instance, et vous connecter dessus via SSH.
## Vérifier la bonne marche de l'installation
### Vérifier la bonne marche de l'installation
Vous devriez maintenant être capable de lancer la commande suivante :
@ -145,7 +145,9 @@ Server:
</div>
### `no such file or directory`?
### Problèmes courants
#### `no such file or directory`?
Si vous avez cette erreur : `dial unix /var/run/docker.sock: no such file or
directory.`, le deamon n'est sans doute pas lancé. Lancez-le :
@ -157,7 +159,7 @@ sudo service docker restart
</div>
### `permission denied`?
#### `permission denied`?
Si vous avez cette erreur : `dial unix /var/run/docker.sock: permission
denied.`, ajoutez votre utilisateur au groupe `docker` et **relancez votre