Dominique Meeùs
Dernière modification le   
retour à la page principale du dossier

Au moins une partition pour /home

Il peut paraître plus simple d’installer sur tout le disque dur mais on a cependant intérêt à créer des partitions séparées :

On a au minimum une partition qui s’écrit / et qui s’appelle racine (root, malheureusement — ne pas confondre, c’est aussi le nom de l’administrateur par défaut des systèmes Unix et Linux). Il est bon d’avoir en plus une partition de swap et il y a de bonnes raisons de mettre les répertoires personnels des utilisateurs sur une autre partition, donc avec point de montage /home. On peut alors faire facilement un backup séparé de ses documents. Plus encore, c’est là que sont écrites toutes les options personnelles et en conservant /home, on les retrouve en cas de réinstallation. Bref, une partition dédiée à /home, ça ne se discute pas. C’est ce que j’ai fait (après coup). Cela demande un peu plus de familiarité avec Linux que le minimum mais ça vaut la peine d’apprendre. Donc pour une jolie installation, prévoyez trois partitions (pour /, swap et /home). (On pourrait de même séparer et conserver /opt pour des applications à conserver d’une installation à l’autre, comme, dans mon cas, Antidote). Le reste se discute.

Dominique Meeùs . Date: 2011… 2014