Differenze

Queste sono le differenze tra la revisione selezionata e la versione attuale della pagina.

--- documentazione_3di_riservata:manuali_sviluppo:docker:home [2015/12/11 12:39] – creata mciullo
+++ documentazione_3di_riservata:manuali_sviluppo:docker:home [Data sconosciuta] (versione attuale) – eliminata - modifica esterna (Data sconosciuta) 127.0.0.1
@@ Linea 1: / Linea 1: @@
-====== Introduzione a docker ======
-Abbiamo un registy locale su http://dockerhub.3di.it:5000
-===== Pull immagini dal registy =====
-  $ docker pull dockerhub.3di.it:5000/nomeimmagine
-===== Push immagini sul registry =====
-  $ docker tag nomeimmagine dockerhub.3di.it:5000/nomeimmagine
-  $ docker push dockerhub.3di.it:5000/nomeimmagine
-===== Listare le immagini =====
-  $ docker images
-Tutte le immagini:
-  $ docker images -a
-===== Listare i container =====
-  $ docker ps
-Listare tutti i container
-  $ docker ps -a
-===== Rimuovere un immagine =====
-N.B. se si vuole rimuovere un immagine non devono esserci container generati da essa, se ci sono e si vuole comunque rimuoverla aggiungere il flag -f.
-  $ docker rmi nomeimmagine
-===== Rimuovere un container =====
-N.B. per rimuovere un container bisogna prima stopparlo, si può comunque rimuoverlo aggiungendo il flag -f.
-  $ docker rm nomecontainer
-===== Fare pulizia =====
-  $ docker rm -f $(docker ps -aq)
-  $ docker rmi -f $(docker images -aq)