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/29 14:18] – 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 91: | Line 93: | ||
| $ docker rmi $(docker images --filter " | $ 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 : | And the easiest way : | ||
| Line 133: | Line 142: | ||
| === Docker Volume === | === Docker Volume === | ||
| + | |||
| + | In order to share data between two dockers, use data volume... as explained here : https:// | ||
| + | |||
| <code bash> | <code bash> | ||
| Line 222: | Line 234: | ||
| Todo... | Todo... | ||
| + | |||
| + | |||
| + | === Docker Windows ==== | ||
| + | |||
| + | Sous Windows 10 (64 bit), suivre la procédure d' | ||
| + | |||
| + | Il existe de type de containers qui peuvent s' | ||
| + | |||
| === Misc === | === Misc === | ||
| Line 227: | Line 247: | ||
| * http:// | * http:// | ||
| * https:// | * https:// | ||
| + | * https:// | ||
docker/index.1553869133.txt.gz · Last modified: 2024/03/18 15:05 (external edit)
