Wiki Enseignement

User Tools

Site Tools

Trace: • notes • test • tp1 • https-misc • index
docker:index

Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision		Previous revision
docker:index [2019/04/10 08:52] – oreldocker:index [2024/03/18 15:06] (current) – external edit 127.0.0.1
Line 12: Line 12:
   $ sudo apt-get install dockerdocker-doc docker.io    $ sudo apt-get install dockerdocker-doc docker.io 
   $ sudo service docker start     $ sudo service docker start  
 +
 +Il faut mieux suivre la procédure d'installation de **Docker CE** sur le site de Docker : https://docs.docker.com/install/linux/docker-ce/debian/ La version packagé dans Debian a des limitations notamment sur le montage des volumes en RW !
  
 Un petit test rapide :  Un petit test rapide : 
Line 91: Line 93:
 $ docker rmi $(docker images --filter "dangling=true" --no-trunc -q) $ docker rmi $(docker images --filter "dangling=true" --no-trunc -q)
 </code> </code>
 +
 +To remove all images (assuming all containers are removed):
 +
 +<code bash>
 +$ docker rmi $(docker images -a -q) --force
 +</code>
 +
  
 And the easiest way : And the easiest way :
Line 225: Line 234:
  
 Todo...  Todo... 
 +
 +
 +=== Docker Windows ====
 +
 +Sous Windows 10 (64 bit), suivre la procédure d'installation de **Docker Desktop** : https://hub.docker.com/editions/community/docker-ce-desktop-windows
 +
 +Il existe de type de containers qui peuvent s'exécuter sous Windows : les containers Linux (nécessite Hyper-V) et les containers Windows (natifs)
 +
  
 === Misc === === Misc ===
docker/index.1554886379.txt.gz · Last modified: 2024/03/18 15:05 (external edit)