Re: /home et /(root) partition ou répertoire ?

[Benoît Barbier <benoitlst@ouvaton.org>]

Le 9/10/25 à 19:58, hamster a écrit :
> 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.

Bonjour et merci pour l'info,

je me préparais à rechercher comment on fait...

Est-ce que ça change quelque chose pour une partition ext4 chiffrée avec 
LUKS?
Ex : l'opération de chiffrement/déchiffrement a-t-elle besoin de cet 
espace réservé ?

--
Benoît