Differences

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

--- docker:index [2019/03/11 08:51] – 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 75: / Line 77: @@
   $ docker image ls  # or docker images
   $ docker image rm <image ID>
+=== Tips ===
+Stop all containers and remove them...
+<code bash>
+$ 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>
 === Dockerfile ===
@@ Line 88: / Line 119: @@
   $ docker run -i -t qemu:debian /bin/bash
+Given a Dockerfile, you can build your own Docker image and push it on
+ [DockerHub](https://hub.docker.com/).
+<code bash>
+# build image
+$ docker build -t "orel33/mydebian:latest" .
+# test it
+$ docker run -i -t orel33/mydebian /bin/bash
+# login (need to be registered)
+$ docker login
+# push image
+$ docker push orel33/mydebian:latest
+</code>
+To pull this docker image:
+<code bash>
+$ docker pull orel33/mydebian:latest
+</code>
+=== 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
-=== Docket Volume ===
 <code bash>
@@ Line 131: / Line 185: @@
 === Docker Inside Docker ===
+You cannot mount (-v) a directory from first docker into the inner docker... Instead, use **docker cp** to copy files... However, you can forward all mounted files from host system, as for instance the docker socket and binary (/var/run/docker.sock & /usr/bin/docker).
 <code bash>
@@ Line 162: / Line 218: @@
 </code>
+=== Docker networking ===
+<code bash>
+docker network create mynet
+docker run --name host1 --network mynet -it orel33/mydebian  # 172.19.0.1/16
+docker run --name host2 --network mynet -it orel33/mydebian  # 172.19.0.2/16
+docker run --name host3 --network mynet -it orel33/mydebian  # 172.19.0.3/16
+docker run --name host4 --network mynet -it orel33/mydebian  # 172.19.0.4/16
+</code>
+TODO: Regarder toutes les options...
+=== Compose ===
+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 ===
   * 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/