Capitolo 4 – Gestione delle Immagini Docker e Dockerfile

In questo capitolo vedremo come:

Cercare immagini Docker
Scaricare e gestire immagini locali
Creare immagini personalizzate
Scrivere un Dockerfile
Ottimizzare le immagini

4.1 Cosa sono le immagini Docker

Un'immagine Docker è un template immutabile utilizzato per creare container.

Le immagini:

Sono composte da layer (livelli)
Sono versionate tramite tag
Possono essere archiviate in registry pubblici o privati

Il registry pubblico predefinito è Docker Hub:
https://hub.docker.com/

4.2 Ricerca di un'immagine

Per cercare un'immagine nel registry:

docker search nginx

L'output mostrerà:

NAME
DESCRIPTION
STARS
OFFICIAL

Le immagini ufficiali sono contrassegnate come OFFICIAL.

4.3 Scaricare un'immagine

Per scaricare un'immagine:

docker pull nginx

Per scaricare una versione specifica:

docker pull nginx:1.25

Se non si specifica un tag, Docker utilizza automaticamente latest.

4.4 Visualizzare le immagini locali

Per vedere le immagini presenti nel sistema:

docker images

Oppure:

docker image ls

L'output mostra:

REPOSITORY
TAG
IMAGE ID
CREATED
SIZE

4.5 Eliminare un'immagine

Per rimuovere un'immagine:

docker rmi nginx

Oppure tramite ID:

docker rmi <image_id>

Per forzare la rimozione:

docker rmi -f nginx

4.6 Creare un'immagine personalizzata con Dockerfile

Un Dockerfile è un file di testo che contiene le istruzioni per costruire un'immagine personalizzata.

Esempio base:

FROM debian:12

RUN apt update && apt install -y nginx

EXPOSE 80

CMD ["nginx", "-g", "daemon off;"]

Salvare il file con nome:

Dockerfile

4.7 Costruire un'immagine

Dalla directory dove si trova il Dockerfile:

docker build -t mio-nginx:1.0 .

Spiegazione:

-t assegna nome e tag
. indica il contesto di build (directory corrente)

Verifica:

docker images

4.8 Avviare un container dalla propria immagine

docker run -d -p 8080:80 --name webtest mio-nginx:1.0

Parametri utilizzati:

-d esecuzione in background
-p 8080:80 mappatura porta host → container
--name assegna un nome al container

Aprire nel browser:

http://localhost:8080

4.9 Comprendere i layer delle immagini

Ogni istruzione come:

RUN
COPY
ADD

genera un layer.

Per visualizzare la cronologia:

docker history mio-nginx:1.0

Meno layer inutili significano immagini più leggere ed efficienti.

4.10 Ottimizzazione delle immagini

Unire i comandi RUN

Meglio scrivere:

RUN apt update && \
    apt install -y nginx && \
    apt clean && \
    rm -rf /var/lib/apt/lists/*

Usare immagini leggere

Esempi:

alpine
debian:slim

Multi-stage build (concetto base)

Permette di costruire in uno stage e copiare solo il necessario nell'immagine finale.

Esempio:

FROM golang:1.22 AS builder
WORKDIR /app
COPY . .
RUN go build -o app

FROM debian:12-slim
WORKDIR /app
COPY --from=builder /app/app .
CMD ["./app"]

Questo riduce la dimensione finale dell'immagine.

4.11 File .dockerignore

Permette di escludere file dal contesto di build.

Esempio:

.git
node_modules
*.log

4.12 Best Practice

Specificare sempre il tag dell'immagine
Evitare latest in produzione
Ridurre il numero di layer
Eliminare file temporanei durante la build
Utilizzare immagini ufficiali quando possibile

Conclusione

Ora sai:

Gestire immagini Docker
Creare Dockerfile
Costruire immagini personalizzate
Ottimizzare le build

Nel prossimo capitolo vedremo la gestione avanzata dei container, inclusi volumi, reti e limiti di risorse.