Capita spesso di avere la necessità di espandere lo spazio di archiviazione da dedicare ai programmi su Raspberry Pi, o ancora dovete ripristinare il backup di un sistema operativo su una scheda SD di dimensioni più ampie rispetto alla scheda su cui era memorizzato in precedenza il sistema operativo, infatti il ripristino su una scheda con spazio di archiviazione maggiore non modifica necessariamente la dimensione della partizione del disco.

L’espansione del file system dopo aver aggiornato la vostra scheda Micro SD è un processo semplice e veloce, vediamo come procedere.

Espandere il filesystem

Così come dettagliato nella lezione precedente siamo nella situazione di aver copiato l’intero contenuto di una scheda SD da 8 GB su cui è installato Raspberry Pi OS e per mancanza di spazio abbiamo trasferito l’intera immagine su una scheda SD da 32 GB.

Attenzione! Così facendo però lo spazio usato dalla partizione del/root/ rimane sempre delle stesse dimensioni che aveva sulla scheda SD da 8GB, infatti se eseguiamo a terminale il comando

df -h

otteniamo il seguente risultato:

Nell’esempio alla partizione /dev/root sono dedicati 7GB di cui 3,4GB usati e 3,3 GB disponibili. Vediamo quindi come espandere la quantità di spazio usato.

Avviate il vostro Raspberry Pi e connettetevi via SSH e da terminale inserite il comando:

sudo raspi-config

Dal menù selezionate il punto 6: Advanced Options e successivamente A1: Expand Filesystem

Selezionate Select e premete invio

Vi verrà segnalato che la partizione Root è stata ridimensionata

Selezionare: Ok

Vi verrà richiesto se riavviare, confermate selezionando “Si”

Dopo il reboot connettetevi nuovamente al vostro Raspberry ed inserite nuovamente il comando:

df -h

Il risultato sarà il seguente

Ottimo! abbiamo recuperato tutto lo spazio disponibile sulla scheda, infatti il comando df mostra una dimensione totale della partizione /dev/root di 29 GB, con una quantità di spazio disponibile di 24GB ed usata di 3,4GB.

Buona sperimentazione a tutti 🙂