Re: /home et /(root) partition ou répertoire ?
Le samedi 27 septembre 2025 à 10:48 +0200, Benoît Barbier a écrit :
> Bonjour,
>
> Historiquement on sépare /home de /(root), je suppose que c’est pour
> éviter que les utilisateurs n’empiètent sur l’espace disque de la
> root.
>
> Est-ce bien ça ?
>
> Y a-t-il une autre raison ?
La première raison c'est qu'on peut le faire ! Les systemes Unix-BSD-
Linux-etc ne mélangent pas les torchons et les serviettes, avec Windows
c'est plus compliqué.
La plus grande raison est matérielle. Mon premier PC avait un disque
dur interne Seagate de la taille record de… 10Mo, passée à l'incroyable
capacité de Tandon (devenu Western Digital) à 20Mo l'année suivante,
donc…
Ensuite Linux ça tourne pareil sur un petit comme un gros système, on
peut très bien, comme j'avais fait quand j'avais un cyber-café
touristique, mettre les dossier utilisateur centralisés sur un
disque/machine tout en gardant le système et les fichiers temporaires
sur la machine.
Sur mon ordi individuel, j'aime bien séparer pour 2 raisons :
1. Je peux réinstaller un système vierge sans toucher à l'utilisateur,
simplement en reformatant la partition système. Le nettoyage est
complet sans beaucoup de réflexion, ce que je fais parfois plutôt que
upgrader, et ça permet de changer de distribution avec le minimum
d'effort.
2. J'ai pas mal de données, j'ai un disque performant pour le système
et un moins performant mais beaucoup plus grand pour mes users.
Un autre facteur sur le partitionnement est la nature du système de
fichier, la problématique change si on utilise un simple ext4, RAID,
LVM, BTRFS ou ZFS.
Bref, il y a des choix parfois arbitraires et d'autres plus impératifs
selon le contexte, comme pour beaucoup de chose on ne peut pas donner
une réponse unique et universelle.
Reply to: