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.