Lors de manipulations innommables , ./build , make, git clone ….

mon raspberry m’a gratifié d’un ‘Disk full’, en effet un petit df -h m’a informé que 100 % de la partition était occupée, ce ne se fait pas.

Et la, tout d’un coup j’ai compris 💡  l’intérêt d’une option de raspi-config qui jusque la était restée nébuleuse, le expand filesystem, choix 1

Et hop , un reboot plus loin je me retrouve avec 18% occupés dans /

Allez c’est reparti : apt-get install , make,..