Avez-vous besoin de plus d’espace? Déplacez votre / home vers une autre partition

Qu’est-ce que le dossier Linux / home

Tous les fichiers personnels sur une distribution Linux sont généralement stockés dans le répertoire / home . Voici les répertoires de tous les utilisateurs, et en son sein tous les fichiers personnels (bureau, documents, téléchargements, etc.) de chacun d’eux.

On peut penser au départ que 20 Go ou 30 Go peuvent suffire pour le dossier / home. Et si nous avons un autre disque dur ou une autre partition à enregistrer, par exemple, des téléchargements et des jeux, c’est certainement le cas. Cependant, si nous commençons à utiliser ce répertoire de manière intensive, le plus sûr est que dans peu de temps nous manquerons d’espace.

Lorsque cela se produit, nous pouvons choisir entre deux options. La première consiste à nettoyer le répertoire pour libérer de l’espace, effacer ce qui est inutile et déplacer les fichiers et dossiers qui occupent le plus vers d’autres unités, ou choisir une nouvelle partition, ou un autre disque, où monter le répertoire / home.

Ensuite, nous verrons comment faire ce dernier.

Précautions avant de commencer

Comme nous allons le voir, le processus pour déplacer les données est très simple et ne comporte pratiquement aucun risque. En cas de problème, nous pouvons toujours revenir aux paramètres précédents pour accéder aux données. Cependant, pour des raisons de sécurité, il ne fait jamais de mal d’effectuer une série de configurations supplémentaires pour nous aider à récupérer notre Ubuntu si, par erreur, nous plaçons le dossier personnel de manière erronée.

La première chose à faire est de faire une copie de sauvegarde de toutes les données personnelles que nous conservons dans cette partition. Téléchargements, photos, documents, vidéos … tout ce qui peut avoir une certaine valeur pour nous doit être copié sur un autre disque dur ou une clé USB. Au cas où. Si nous pouvons nous le permettre (en raison de problèmes d’espace), nous devrions même copier la partition / home entière.

De plus, nous devons également faire une copie de sauvegarde du fichier fstab . Ou, au moins, de la chaîne de montage / home. De cette façon, si la modification ultérieure ne fonctionne pas, nous pouvons restaurer ses valeurs d’origine et réutiliser la partition que nous avons utilisée au début. Chaque fois que nous allons apporter ces modifications, cela ne fait jamais de mal d’effectuer ces simples sauvegardes. Quelques secondes peuvent nous épargner des heures de travail ultérieur.

Comment déplacer notre répertoire / home, et toutes ses données, vers une autre partition

Pour mener à bien cette tâche simple, nous allons avoir besoin principalement de deux choses: le premier d’entre eux sera un Live-USB d’Ubuntu , ou de toute autre distribution, et le second un disque dur ou une partition plus grande où nous allons déplacer / maison.

Si nous n’avons pas la partition déjà créée, nous devons la créer. Nous recommandons au gestionnaire de partition gparted de créer la partition et, accessoirement, de mémoriser le point de montage que la nouvelle partition aura. Voici les éléments à rechercher lors de la définition d’un nouveau point de montage pour / home.

La première chose que nous allons faire est de configurer le nouveau point de montage / home dans le fstab. Pour ce faire, ce que nous devons faire dans notre distribution principale Ubuntu est d’exécuter la commande suivante pour entrer dans la configuration fstab:

sudo gedit / etc / fstab

Ici, nous devrons ajouter ce qui suit à la fin du fichier texte pour définir le nouveau point de montage:

/ dev / sdb1 / home ext4 par défaut 0 2

Nous vous recommandons également de supprimer la ligne de l’ancien point de montage, car laisser les deux peut causer des problèmes. Ainsi, nous ne laisserons que le nouveau point de montage / home.

Nous devons changer / dev / sdb1 pour le point de montage qui correspond à la nouvelle partition de notre PC. Nous pouvons également utiliser l’UUID à la place.

Prêt. Nous avons déjà terminé la moitié du processus. Maintenant, la prochaine étape sera d’éteindre l’ordinateur, d’insérer le Live USB dont nous avons dit que nous aurions besoin auparavant et nous allons démarrer le système avec. Nous ne devons pas entrer dans notre distribution principale car nous n’avons pas notre répertoire d’origine / home, les données et les configurations seront manquantes.

Une fois que nous avons démarré la distribution Live, la seule chose à faire est de copier tous les fichiers de notre répertoire d’origine / home vers l’autre partition. Nous pouvons le faire manuellement depuis l’explorateur de fichiers avec un copier-coller ou depuis le terminal avec des commandes telles que cp ou mv. Ce qui est le plus confortable pour nous.

Il se peut que nous devions exécuter «sudo nautilus» pour ouvrir un navigateur avec des autorisations de lecture et d’écriture sur les autres lecteurs.

Une fois que toutes les données du dossier / home sont sur la nouvelle partition ou le nouveau disque dur, nous pouvons redémarrer. Nous extrayons le Live-USB et, lorsque notre distribution principale démarre, nous verrons comment tout se passe comme d’habitude, à la différence que maintenant notre distribution / home est plus grande et utilise la nouvelle partition ou le nouveau disque dur.

Comme dernière étape, nous vous recommandons de supprimer l’ancien dossier / home pour éviter les problèmes et la confusion.