Comment redimensionner la partition système du Raspberry-pi ?
Connectez vous en local sur votre raspberry ou par ssh avec l'utilisateur pi. Vous pouvez aussi prendre n'importe quel utilisateur avec les droitssudo.
Tapez df -h pour voir la taille de la partition actuelle:
df -h
Sys. fich. Taille Util. Dispo Uti% Monté sur
rootfs 1,8G 1,4G 338M 80% /
/dev/root 1,8G 1,4G 338M 80% /
tmpfs 19M 224K 19M 2% /run
tmpfs 5,0M 0 5,0M 0% /run/lock
tmpfs 37M 0 37M 0% /tmp
tmpfs 10M 0 10M 0% /dev
tmpfs 37M 0 37M 0% /run/shm
/dev/mmcblk0p1 56M 34M 23M 61% /boot
Tapez ensuite :
sudo raspi-config
Allez sur la ligne : expand_rootfs Expand root partition to fill SD card » <Select>
Un message de confirmation apparait :
Root partition has been resized.
The filesystem will be enlarged upon the next reboot
Une fois de retour sur le menu on va sur <Finish>
Would you like to reboot now?
On va sur l'option Oui pour redémarrer et redimentionner la partition.
Une fois redémarré, on vérifie si notre carte mémoire est utilisé complètement : df -h
df -h
Sys. fich. Taille Util. Dispo Uti% Monté sur
rootfs 7,3G 1,4G 5,6G 20% /
/dev/root 7,3G 1,4G 5,6G 20% /
tmpfs 19M 224K 19M 2% /run
tmpfs 5,0M 0 5,0M 0% /run/lock
tmpfs 37M 0 37M 0% /tmp
tmpfs 10M 0 10M 0% /dev
tmpfs 37M 0 37M 0% /run/shm
/dev/mmcblk0p1 56M 34M 23M 61% /boot