Re: mais ou est passee la place manquante ?
Le 03/04/2019 à 19:57, Pascal Hambourg a écrit :
> Le 03/04/2019 à 19:44, Eric Degenetais a écrit :
>>
>> Je parlais d'espace réservé au *compte* root. J'avais cru comprendre
>> qu'une
>> partie de l'espace sur chaque partition est réservé à root pour qu'il
>> puisse travailler même sur une partition saturée. J'ai pu mal
>> comprendre...
>
> Non, tu as bien compris. Par défaut un système de fichiers ext*
> réserve 5% de l'espace à son utilisateur créateur, c'est-à-dire root
> la plupart du temps. Concrètement, cela signifie que quand l'espace
> utilisé atteint 95%, les autres utilisateurs ne peuvent plus allouer
> d'espace.
>
> La subtilité est que la quantité d'espace libre rapportée en tient compte.
Ce qui est pas plus mal vu que c'est de la place qui n'est pas
disponible pour les simples utilisateurs.
> /dev/sda3 ext4 taille 563G utilisé 532G dispo 2,2G 100% /home
>
> 5% de 563 Go, ça fait 28 Go.
> 563 - 532 - 2 = 29 Go on retombe à peu près sur nos pattes.
>
> Si on considère qu'une telle réservation n'a pas lieu d'être pour
> /home (ce qui est une position parfaitement valable puisque root n'est
> pas censé avoir besoin d'écrire dans /home), alors on peut la modifier
> avec tune2fs.
Waouh, c'est bien ca. Merci beaucoup. Dorénavant je mettrai
systématiquement un coup de tune2fs -m 0 /dev/sdax sur la partoche /home.
Reply to: