Installer une distribution GNU/Linux est très simple car le partitionnement de votre disque se fait par défaut de manière automatique.
Cela dit, ce partitionnement peut être optimisé, de plusieurs manières (ce que ne propose pas Windows !).
En effet, il est tout à fait possible de créer plusieurs partitions sur votre disque. Pour ce faire, le répertoire principal système, la racine, c'est à dire le répertoire /
, pourra être scindé en plusieurs partitions logiques.
Voyons comment nous pouvons procéder sur la majorité des distributions GNU/Linux...
Premier élément que nous pouvons scinder de la partition système /
, le répertoire /home
. C'est la configuration la plus souvent rencontrée sur PC.
Séparer son "home" peut être utile pour plusieurs raisons :
/home
et ne réinstaller que la partition racine /
du système ; très pratique si l'on souhaite ne pas refaire certains fichiers de configuration.Lors de la réinstallation d'une distribution, si vous gardez la partition
/home
, faites attention à donner le même nom d'utilisateur et mot de passe que l'ancienne distribution. Ceci afin d'éviter des manipulations supplémentaires sur votre HOME (pour rappel :/home/<nom utilisateur>
).
/home
serait plein. En effet, si une seule partition est présente, le système généralement renvoie toutes sortes d'erreurs qui amènent parfois à un blocage intégral du système. En séparant ces 2 partitions, nous pourrons mieux gérer cet aspect et éviter ce blocage.En réalité, nous rencontrons très souvent des distributions avec une partition /home
séparée, notamment sur des serveurs avec de multiples utilisateurs à gérer. Ainsi, nous pouvons gérer clairement la séparation entre ces utilisateurs et leurs données et les fichiers système, ce qui améliore considérablement la sécurité.
Vous pouvez également très bien mettre cette partition /home
sur un second disque dur, c'est bien sûr tout à fait faisable.
Les onglets suivants présentent une séparation lors d'une nouvelle installation d'une distribution :
Nous prenons pour exemple n°1, un disque dur de 100Go. Vous adapterez les dimensions à votre disque bien entendu.
Généralement, nous conseillons un rapport d'environ 1/3 pour la racine/
- 2/3 pour votre/home
, avec dans tous les cas un minimum de 30 à 40 Go pour la partition système/
:
Exemple 1 : pour un disque de 100Go ;/
= 33Go,/home
= 67GoD'autres exemples :
Exemple 2 : pour un disque de 256Go ;/
= 86Go,/home
= 170Go
Exemple 3 : pour un disque de 512Go ;/
= 170Go,/home
= 342Go
Dans la suite du tutoriel, nous ne comptons pas l'éventuelle partition SWAP que vous voudriez ajouter. Si vous souhaitez ajouter du SWAP, retranchez-les de la partition HOME !
Voici sur le site de ubuntu un abaque avec en première colonne la RAM totale installée et la taille swap recommandée (sans ou avec hibernation).
Notez qu'il est aussi possible, à la place d'une partition SWAP dédiée, d'utiliser un fichier/swapfile
à la racine de votre partition principale.
Certaines distributions dérivées de Debian et Ubuntu utilisent l'installateur Ubiquity (c'est par exemple le cas d'Ubuntu) :
C'est l'installation par défaut de Fedora et ses dérivés :
Souvent utilisé sur des distributions basées sur Arch Linux (Manjaro par exemple, dont nous reprenons l'exemple ci-après) et certaines distributions Debian :
Utilisé par OpenSuse :
Il est tout à fait envisageable de séparer également d'autres partitions que notre "home". Notamment des partitions avec beaucoup de lectures/écritures disque, comparé aux autres répertoire de la racine /
qui ne doivent généralement pas être modifiés souvent.
Les 2 répertoires qui enregistrent le plus d'opérations sont :
/var
/tmp
Second élément qui peut potentiellement être scindé de la racine /
, le répertoire /var
.
Ce répertoire contient des fichiers système, des bases de données, toute la journalisation du système, et autres fichiers qui sont amenés à changer fréquemment. Malheureusement si la distribution n'est pas optimisée, il peut parfois remplir le disque et bloquer le système entier.
Il est donc possible de séparer ce répertoire :
Voici les avantages :
/var
, nous facilitons (au même titre que la partition /home
) la sauvegarde et la restauration des fichiers systèmes importants, des bases de données et des configurations importantes.Et les inconvénients :
Il est donc à noter que nous ne recommandons pas aux débutants de scinder ce répertoire de la racine. Dans ce cas, préférez jouer plutôt sur l'optimisation de la journalisation, évoquée ici.
Troisième élément qui peut potentiellement être scindé de la racine /
, le répertoire /tmp
.
Ce répertoire contient tous les éléments temporaires du système utilisés par les différentes applications, scripts et processus système. Il peut d'agir de tous les fichiers lors d'installation de logiciels, certains fichiers créés lors de "téléchargements en cours", certaines images miniatures, etc., ce que nous nommons généralement des "données volatiles" c'est à dire non nécessaires au fonctionnement intrinsèque du système, et vidés à l'extinction du système.
Il est donc possible de séparer ce répertoire :
Les avantages :
/tmp
, nous évitons un remplissage générant des lenteurs sur le système./tmp
, nous facilitons grandement la gestion et surtout le nettoyage des fichiers temporaires, accumulés au fil du temps.Mais les inconvénients :
/tmp
requiert de l'espace disque, pas simple pour les disques de petites contenances.Sur le même principe que
/var
, nous ne recommandons pas aux débutants d'appliquer une séparation sur/tmp
. Nous préférerons dans ce cas apporter une optimisation, évoquée ici.
Contributeur(s): Ayo, marmotte