Differences

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

--- docker:index [2019/03/29 14:07] – orel
+++ docker: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 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 :
@@ Line 84: / Line 86: @@
 $ docker stop $(docker ps -a -q)
 $ docker rm $(docker ps -a -q)
+</code>
+To delete "none" images (or dangling / untagged) :
+<code bash>
+$ docker rmi $(docker images --filter "dangling=true" --no-trunc -q)
+</code>
+To remove all images (assuming all containers are removed):
+<code bash>
+$ docker rmi $(docker images -a -q) --force
+</code>
+And the easiest way :
+<code bash>
+$ docker image prune
 </code>
@@ Line 120: / Line 141: @@
-=== Docket Volume ===
+=== Docker Volume ===
+In order to share data between two dockers, use data volume... as explained here : https://www.digitalocean.com/community/tutorials/how-to-share-data-between-docker-containers
 <code bash>
@@ Line 210: / Line 234: @@
 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 ===
@@ Line 215: / Line 247: @@
   * http://fabiorehm.com/blog/2014/09/11/running-gui-apps-with-docker/
   * https://www.packtpub.com/mapt/book/virtualization_and_cloud/9781783984862/2/ch02lvl1sec28/accessing-the-host-device-inside-the-container
+  * https://hub.docker.com/r/dorowu/ubuntu-desktop-lxde-vnc/