This is an old revision of the document!

Docker

Un peu de biblio pour commençer :

$ sudo apt-get install dockerdocker-doc docker.io 
$ sudo service docker start

Un petit test rapide :

$ sudo docker run hello-world

Pour éviter de taper “sudo” :

$ sudo usermod -aG docker $USER

Un peu d'aide :

$ man docker run

Démarrer un docker interactif (-i -t) en se basant sur une image officielle debian :

$ docker search debian
$ docker run -i -t debian bash
  root@<xxxxxxxx>:/home/docker#

Une fois la session fermée, on peut sauvegarder les modifications effectuées dans l'image

$ docker commit <xxxxxxxx> mydebian  # avec <xxxxxxxx> le container ID

On peut ensuite relancer son image mydebian

$ docker run -i -t mydebian /bin/bash

Pour lister tous les conteneurs (actifs ou non) :

$ docker container ls -a

Stopper un conteneur actif :

$ docker container stop <container ID>

Pour rédémmarer un conteneur stoppé et récupérer la session interactive (attach) :

$ docker container start <container ID>  
$ docker container attach <container ID>

Pour supprimer tous les conteneurs :

$ docker container rm $(docker container ps -a -q)

Les images docker publiques sont sur Docker HUB.

$ docker search debian  
$ docker pull debian
$ docker image ls  # or docker images
$ docker image rm <image ID>

FROM debian:latest
MAINTAINER Aurelien Esnard <aurelien.esnard@labri.fr>
RUN apt-get update && apt-get install -y qemu
WORKDIR /home/docker

$ docker build --tag="qemu:debian" .
$ docker run -i -t qemu:debian /bin/bash

Wiki Enseignement