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)