Re: /home et /(root) partition ou répertoire ?
On Tue, 2025-09-30 at 11:16 +0200, hamster wrote:
> Le 30/09/2025 à 09:01, Sébastien NOBILI a écrit :
> > Bonjour,
> >
> > Le 2025-09-27 10:48, Benoît Barbier a écrit :
> > > Sur un système qui n’a qu’un seul utilisateur est-ce que la séparation
> > > apporte un plus au niveau sécurité(du système et des données) ?
> >
> > J'ai séparé /home et / pendant des années et ça m'a conduit à de la
> > maintenance supplémentaire inutile :
> >
> > - /home est plein et il reste plein de place dans / => besoin de
> > retailler les partitions
> > - / est plein et /home a plein de place => besoin de retailler les
> > partitions
Ceux qui ont un ordinateur de bureau avec suffisamment de disque au total peuvent aussi envisager un
montage bind.
https://www.dsfc.net/systeme/linux/bind-mount-pour-contourner-chroot/
https://www.baeldung.com/linux/bind-mounts
Il m'est arrivé assez souvent de faire un montage bind de /usr/src/ vers un /home/UsrSrc
(sur des machines où le /home est sur un disque différent).
Par ailleurs et par paresse je reserve plutôt 80Go à la partition racine (en ayant conscience de
gâcher de l'espace disque, qui me semble moins coûteux que mon temps).
Librement
--
Basile STARYNKEVITCH <basile@starynkevitch.net>
8 rue de la Faïencerie http://starynkevitch.net/Basile/
92340 Bourg-la-Reine https://github.com/bstarynk
France https://github.com/RefPerSys/RefPerSys
Reply to: