Ubuntu: Déménagement - comment ça marche
Si l'espace sur votre disque dur devient trop petit, vous pouvez passer à une autre partition dans Ubuntu avec "Home". Dans cette astuce pratique, nous vous montrerons comment.
Déménager sur Ubuntu - donc ça marchera
Avant de déménager, vous devez faire une sauvegarde du répertoire personnel. Le répertoire se trouve sur la partition système.
- Tout d'abord, vous devez savoir si la partition sélectionnée est suffisamment grande pour le répertoire personnel. Démarrez donc le terminal et entrez la commande "du -sh / home". Comment connaître la taille du répertoire personnel - la nouvelle partition doit avoir au moins ce volume.
- Pour éviter les effets secondaires indésirables, vous devez vous déconnecter de l'interface utilisateur graphique. Utilisez la combinaison de touches [Ctrl] + [Alt] + [F1] pour passer à la console texte et connectez-vous avec votre nom d'utilisateur et votre mot de passe.
- Vous avez besoin des droits root pour les commandes suivantes. Vous pouvez l'obtenir temporairement en entrant la commande "sudo -s cd /".
- Utilisez la commande "fdisk -l" pour afficher une liste des partitions existantes et notez le nom de la partition souhaitée. Dans notre exemple, c'est "/ dev / sda5". Dans les commandes suivantes, remplacez-le par le nom de votre propre partition.
- Utilisez la ligne de commande "mkdir / mnt / tmp mount / dev / sda5 / mnt / tmp" pour monter la partition au point de montage.
- Démarrez le processus de copie avec "rsync -avx --progress / home / / mnt / tmp". La barre oblique à la fin de "home" est très importante ici: sans elle, vous copiez non seulement le contenu du dossier, mais le dossier lui-même.
- Ensuite, vous pouvez tester la partition avec "mount / dev / sda5 / home" dans le répertoire / home. Avec "du -sh / home; mount | grep / home", vous pouvez vérifier si tout a été copié correctement. La sortie devrait alors montrer la taille de la partition (dans notre cas 2, 5 Go) et ce qui suit: "2.5G / home / dev / sda5 on / home type ext3 (rw)"
Comment utiliser la nouvelle partition home
- Vous pouvez maintenant supprimer l'ancien répertoire / home. La commande pour ce faire est: "umount / home rm -rf / home / *".
- Pour intégrer la nouvelle partition dans le démarrage du système, vous devez déterminer son UUID avec la commande "blkid". La sortie apparaît "[...] / dev / sda5: UUID =" VOTRE NUMÉRO D'IDENTIFICATION "TYPE =" ext3 "[…]" Au lieu de "VOTRE NUMÉRO D'IDENTIFICATION", vous devriez voir une combinaison de chiffres et de lettres. Copiez cet UUID et entrez-le avec "UUID = VOTRE NUMÉRO D'IDENTIFICATION / home ext3 par défaut 0 2" dans "/ etc / fstab".
- Vous pouvez également effectuer cette étape avant de passer au niveau de la console et de déplacer le répertoire personnel. Étant donné que / etc / fstab est lu à chaque démarrage du système, il peut être facilement modifié à partir du système en cours d'exécution.
Dans une autre astuce pratique sur Ubuntu, nous vous montrerons comment vous pouvez visualiser le processus d'installation.