La documentazione vera sta qui Abbiamo un registy locale su http://dockerhub.3di.it:5000

$ docker pull dockerhub.3di.it:5000/nomeimmagine

$ docker tag nomeimmagine dockerhub.3di.it:5000/nomeimmagine

$ docker push dockerhub.3di.it:5000/nomeimmagine

$ docker images

Tutte le immagini:

$ docker images -a

$ docker ps

Listare tutti i container

$ docker ps -a

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

N.B. per rimuovere un container bisogna prima stopparlo, si può comunque rimuoverlo aggiungendo il flag -f.

$ docker rm nomecontainer

$ docker rm -f $(docker ps -aq)
$ docker rmi -f $(docker images -aq)