Docker è un sistema di container che non richiede molte risorse per l'esecuzione dei container, risultando quindi molto leggero . Per questo motivo, Docker può essere la soluzione ideale per lo sviluppo e il test di applicazioni web su Raspberry Pi.
Naturalmente, con Docker su un Raspberry Pi è possibile fare anche altre cose, come eseguire un server web, un server proxy, un server di database e molto altro .
Se non hai ancora familiarità con Docker, dovresti sapere che si tratta di un progetto open source che automatizza la distribuzione di applicazioni all'interno di container software , fornendo un ulteriore livello di astrazione e automazione per la virtualizzazione delle applicazioni su più sistemi operativi.
Docker utilizza le funzionalità di isolamento delle risorse del kernel Linux, come cgroups e namespaces , per consentire l'esecuzione di "container" indipendenti all'interno di una singola istanza Linux, evitando il sovraccarico derivante dall'avvio e dalla manutenzione di macchine virtuali.
Preparare il Raspberry Pi
Installare Docker sul tuo Raspberry Pi è semplice e diretto . In questo tutorial, useremo come base il sistema operativo ufficiale di Raspberry Pi, Raspbian.
Se non hai ancora installato questo sistema sul tuo Raspberry Pi, puoi consultare il seguente articolo dove spieghiamo come farlo in modo molto semplice. Il link è qui.
Ora che Raspbian è installato sul nostro Raspberry Pi, aggiorneremo i pacchetti e la cache del repository APT di Raspbian utilizzando il seguente comando:
sudo apt update
Ora, devi aggiornare tutti i nuovi pacchetti software che sono stati rilevati da Raspbian. Per questo non ci resta che eseguire il seguente comando:
sudo apt upgrade
A questo punto, è necessario aggiornare i pacchetti software.
Ora è necessario installare gli header del kernel per il proprio sistema operativo. Questo è importante, perché se non si installano gli header del kernel, Docker non funzionerà.
Per installare gli header del kernel, tutto ciò che devi fare è eseguire il seguente comando nel terminale:
sudo apt install raspberrypi-kernel raspberrypi-kernel-headers
Con tutto quanto sopra pronto, ora possiamo procedere all'installazione di Docker sul nostro amato Raspberry Pi, poiché siamo assolutamente sicuri di avere tutti i pacchetti aggiornati nel sistema.
Installa Docker su Raspberry Pi
Installiamo Docker eseguendo il seguente comando nel terminale:
curl -sSL https://get.docker.com | sh
Questo processo di download e installazione può richiedere del tempo, quindi ti suggerisco di prenderti il tuo tempo.
Ora che Docker è installato sul nostro sistema Raspberry Pi, possiamo iniziare il processo di implementazione per poterlo utilizzare.
Il primo passo consiste nell'aggiungere l'utente di sistema "pi" (l'utente predefinito in Raspbian) al gruppo docker. Questo permetterà di creare e gestire container, immagini, volumi Docker, ecc., senza privilegi di sudo o di superutente.
Se hai creato un utente diverso, devi sostituire "pi" con il tuo nome utente nel comando. Per aggiungere l'utente pi al gruppo Docker, è sufficiente eseguire il seguente comando:
sudo usermod -aG docker pi
Dopo aver apportato questa modifica, dovremo riavviare il sistema affinché le modifiche vengano caricate all'avvio e l'aggiunta del nostro utente al gruppo Docker venga applicata.
Possono riavviare il sistema eseguendo il seguente comando nel terminale:
sudo reboot
Una volta riavviato il sistema, accedi nuovamente e apri un terminale. Esegui il seguente comando per verificare che Docker sia installato e in esecuzione sul sistema:
docker version
Come puoi vedere, Docker funziona già perfettamente sul tuo Raspberry Pi.
Ora non ti resta che distribuire il tuo primo container. Puoi trovarne uno sul sito web di Docker, che offre numerose applicazioni. Ecco il link.