Le 09/10/2025 à 19:53, Erwann Le Bras a écrit :
ah? Je l'ignorais.
Le 08/10/2025 à 18:18, hamster a écrit :
Tu oublie qu’on peut aussi paramérer la partition pour qu’un certain
pourcentage soit réservé a l’administrateur (par defaut 5 %).
tune2fs -m 5 /dev/sda2
(pour mettre la partition sda2 a 5 %, commande a adapter a sa configuration)
C’est ce qui est fait par defaut quand on formatte une partition, par
exemple avec gparted. C’est a dire que quand on fait une partition /home
séparée il faut penser a lui mettre 0 % réservés sinon ca fait de la
place perdue pour l’utilisateur. Sur un gros disque, 5 % ca peut vite
faire beaucoup de Go.
