Docker

Tool che pacchettizza un microservizio. Se vuoi puoi ridistribuirlo e chi lo vuole se lo tira giù (c’è una repo condivisa).

RUNNA SEMPRE QUESTO:

newgrp docker

Installazione

Modo semplice per installare Docker attraverso il convenience script

Task manager

Task manager docker

Container in esecuzione al momento:

ps aux

History container passati e presenti:

docker ps -a

Rimozione fisica dalla history

docker ps -a <nome>

Container

Container live

docker run -it ubuntu

Container: background

docker run -it -d ubuntu

Entrare nei container docker fisicamente

docker exec -it <nome> bash

Killare container - terminare container

docker kill <nome>

Opzioni:

• `-d`: detachable, vai in background
• `-it`: ci va
• `—name <nome>`: nome custom container
• `-p 8080:80`: mapping porta mia:porta sua , aprire le porte di un container

Immagini

Listare le immagini che ho - list images

docker image list

Pullare un immagine (senza installare un container)

docker pull <nome>

Es.

docker pull nginx

nginx demos / hello

Si pulla l’immagine nginxdemos/hello

Si esegue:

docker run -d -p 8080:80 --name sito-web nginxdemos/hello

Parametro [-p] → locale (mia) : la sua

Log

Log del sistema operativo

docker logs <nome-container> 

Live log / log live / log in tempo reale

docker logs <nome-container> 

C’è anche l’inspector, log noioso con cose utili:

docker inspect <nome-container>

Come costruire immagini

Basta usare un Dockerfile.

Install from dockerfile

docker build -t my-first-docker .