Linux : partitionner

 

Linux : partitionner

Cet article fait suite à celui-ci : Fin de Windows 10 : et ensuite ?

Vous faites peut être partie des utilisateurs qui ont décidé de migrer sous Linux ? Dans ce cas, il est préférable de bien débuter cette migration, et nous allons accorder une attention particulière à la création des partitions.

1. L'importance de la partition utilisateur

L'avantage de créer une partition /home séparée est qu'il est beaucoup plus simple de conserver son espace utilisateur en cas de réinstallation complète (installation d'une autre distribution que Ubuntu, réinstallation propre, etc.).

Il est bien sûr possible de créer une partition utilisateur après coup, mais il est beaucoup plus facile de le faire dès le départ.

2. Démarrons

Lors de l'installation, après avoir choisi la langue du système et du clavier, nous allons cocher les cases "Télécharger les mises à jour pendant l'installation" et "Installer les logiciels tiers" :

Après avoir cliqué sur "Suivant", l'installation nous demande quelle est le type de partitionnement que nous souhaitons adopter :

Nous allons choisir "Autre chose" et cliquer sur "Suivant".

Si Windows est installé sur votre machine vous allez devoir faire un choix :

• supprimer les partitions Windows
• redimensionner la plus grande partition Windows pour accorder de l'espace à Linux
• ajouter un deuxième disque dur pour Linux

Si vous choisissez de supprimer les partitions Windows, il vous suffit de faire un clic droit sur chaque partition et de choisir "Supprimer". Votre espace non alloué va augmenter jusqu'à ce qu'il occupe tout l'espace disponible. Mais avant tout, il va falloir sauvegarder vos données. Soit vous le faites sur un disque dur externe que vous possédez déjà, soit vous achetez un deuxième disque.

Le deuxième choix qui s'offre à vous est de redimensionner la plus grande partition Windows. Encore faut-il qu'il y ait de l'espace disponible en quantité suffisante. Une centaine de Go me paraît un minimum. Dans ce cas il faut faire un clic droit sur la partition concernée et choisir "Redimensionner / Déplacer". Choisissez simplement la nouvelle taille pour votre partition.

La troisième option est d'ajouter un deuxième disque pour Linux que vous pourrez partitionner selon votre envie. Il peut très bien s'agir d'un ancien disque déniché dans un tiroir.

Que vous supprimiez ou redimensionniez ou créiez une ou plusieurs partition, il ne faut pas oublier de cliquer sur "Appliquer toutes les opérations" pour valider vos choix.

Quelle que soit la solution adoptée, il va vous falloir créer les partitions nécessaires au fonctionnement de Linux.  Pour ce faire, il vous suffit de faire un clic doit sur l'espace non alloué et de choisir "Nouvelle".

Il est préférable dès le départ de créer au moins 3 partitions :

• / (racine, espace système)
• /home (espace utilisateur(s))
• swap (fichier d'échanges)

Quelle taille donner aux différentes partitions ?

Pour ma part ma partition racine a une taille de 50 Go, dont 32 Go sont occupés. La taille du fichier d'échanges sera au moins égale à la taille de la RAM. Tout le reste est attribué à l'espace utilisateur /home.

3. Réutilisation de la partition /home

Lors d'une réinstallation totale du système, s'il est bien entendu préférable de reformater la partition racine (/) afin de ne pas laisser de résidus indésirables, il ne faut surtout pas oublier de décocher la case "Formater la partition" de votre partition /home, ainsi toutes vos données seront conservées :

Mais une réinstallation totale est rarement nécessaire. Les mises à niveau (changement de version) sont extrêmement fiables.

4. 2006 : 20 ans déjà

Depuis 2006, pour des raisons de taille, j'ai à de nombreuses reprises changé de disque dur. J'ai également changé de système pour installer la distribution Debian, puis réinstallé à nouveau Ubuntu, tout cela sans jamais reformater ma partition /home. La réinstallation sur un nouveau disque se fait très facilement, en démarrant sur une clé USB, à l'aide de GPARTED, en faisant un clonage de partition(s).

Cordialement

Henri