docker:index
Differences
This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
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 apt-get install dockerdocker-doc docker.io | ||
$ sudo service docker start | $ sudo service docker start | ||
+ | |||
+ | Il faut mieux suivre la procédure d' | ||
Un petit test rapide : | Un petit test rapide : | ||
Line 75: | Line 77: | ||
$ docker image ls # or docker images | $ docker image ls # or docker images | ||
$ docker image rm <image ID> | $ 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) | ||
+ | </ | ||
+ | |||
+ | To delete " | ||
+ | |||
+ | <code bash> | ||
+ | $ docker rmi $(docker images --filter " | ||
+ | </ | ||
+ | |||
+ | To remove all images (assuming all containers are removed): | ||
+ | |||
+ | <code bash> | ||
+ | $ docker rmi $(docker images -a -q) --force | ||
+ | </ | ||
+ | |||
+ | |||
+ | And the easiest way : | ||
+ | |||
+ | <code bash> | ||
+ | $ docker image prune | ||
+ | </ | ||
=== Dockerfile === | === Dockerfile === | ||
Line 88: | Line 119: | ||
$ docker run -i -t qemu:debian /bin/bash | $ docker run -i -t qemu:debian /bin/bash | ||
| | ||
+ | | ||
+ | Given a Dockerfile, you can build your own Docker image and push it on | ||
+ | | ||
+ | |||
+ | <code bash> | ||
+ | # build image | ||
+ | $ docker build -t " | ||
+ | # test it | ||
+ | $ docker run -i -t orel33/ | ||
+ | # login (need to be registered) | ||
+ | $ docker login | ||
+ | # push image | ||
+ | $ docker push orel33/ | ||
+ | </ | ||
+ | |||
+ | To pull this docker image: | ||
+ | |||
+ | <code bash> | ||
+ | $ docker pull orel33/ | ||
+ | </ | ||
+ | |||
+ | |||
+ | === Docker Volume === | ||
+ | In order to share data between two dockers, use data volume... as explained here : https:// | ||
- | === Docket Volume === | ||
<code bash> | <code bash> | ||
Line 131: | Line 185: | ||
=== Docker Inside Docker === | === 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 (/ | ||
<code bash> | <code bash> | ||
Line 162: | Line 218: | ||
</ | </ | ||
| | ||
+ | === Docker networking === | ||
+ | |||
+ | <code bash> | ||
+ | docker network create mynet | ||
+ | docker run --name host1 --network mynet -it orel33/ | ||
+ | docker run --name host2 --network mynet -it orel33/ | ||
+ | docker run --name host3 --network mynet -it orel33/ | ||
+ | docker run --name host4 --network mynet -it orel33/ | ||
+ | </ | ||
+ | |||
+ | TODO: Regarder toutes les options... | ||
+ | |||
+ | |||
+ | === Compose === | ||
+ | |||
+ | Todo... | ||
+ | |||
+ | |||
+ | === Docker Windows ==== | ||
+ | |||
+ | Sous Windows 10 (64 bit), suivre la procédure d' | ||
+ | |||
+ | Il existe de type de containers qui peuvent s' | ||
+ | |||
+ | |||
=== Misc === | === Misc === | ||
* http:// | * http:// | ||
* https:// | * https:// | ||
+ | * https:// | ||
docker/index.1552294302.txt.gz · Last modified: 2024/03/18 15:05 (external edit)