Votre question est distro-neutre, donc si je mentionne quelque chose de spécifique que vous n'avez pas, utilisez simplement l'équivalent de votre côté.
Je vous recommande vraiment d'acheter un externe pour les sauvegardes, croyez-moi, perdre vos données est le pire. Procédez à vos risques et périls et - Mais si vous ne pouvez pas en obtenir un, voici ce que vous pouvez faire.
De quoi as-tu besoin
- la taille de votre répertoire / home
- espace libre, plus que la taille de votre répertoire / home
- outil de partitionnement de disque, je recommande gparted
Que faire
Vérifiez la taille de votre répertoire / home (le dernier résultat sera le total home):
du -h /home
Vérifiez si vous disposez de suffisamment d'espace libre pour la nouvelle partition:
df -h
Installer gparted
sudo apt-get install gparted
Vous avez besoin de plus d'espace libre que la taille de votre répertoire / home. Si vous ne disposez pas de l'espace libre, vous ne pourrez pas créer cette nouvelle partition et devrez de toute façon déplacer vos données sur un disque externe.
Si vous disposez de l'espace, utilisez gparted pour réduire votre partition existante, puis créez une nouvelle partition avec l'espace non alloué libéré. Une fois que votre nouvelle partition est prête, notez que c'est / dev / sdax (utilisezsudo fdisk -l
pour voir ceci), et copiez-y vos fichiers / home.
Utiliser la partition dans une nouvelle distribution
Vous avez mentionné l'installation d'une autre distribution, si vous envisagez de remplacer votre distribution actuelle, alors pendant l'installation, vous devriez être invité à configurer des partitions. À ce stade, vous pouvez spécifier cette partition comme / home, choisissez de ne pas pas la formater, et tout ira bien, vous pouvez ignorer cette section suivante.
Si toutefois vous souhaitez que votre distribution actuelle fonctionne avec la nouvelle partition / home, suivez cette section:
Montez la partition dans une distribution existante
Nous devons dire à votre système d'exploitation d'utiliser la partition comme votre nouveau / home, nous le faisons dans fstab, mais laissez-nous d'abord trouver l'UUID de cette nouvelle partition:
ls -l /dev/disk/by-uuid
Faites une référence croisée / sdax de votre nouvelle partition et copiez son UUID, le mien ressemble 3d866059-4b4c-4c71-a69c-213f0e4fbf32
.
Sauvegarde fstab: sudo cp /etc/fstab /etc/fstab.bak
Modifier fstab:sudoedit /etc/fstab
L'idée est d'ajouter une nouvelle ligne qui monte la partition dans / home. Utilisez votre propre UUID, pas celui que je poste ici;)
# <file system> <mount point> <type> <options> <dump> <pass>
UUID=3d866059.. /home auto default 0 1
Enregistrez et redémarrez et testez si la nouvelle partition se monte sur / home. Exécutez df -h
pour lister toutes les partitions montées, / home devrait maintenant être dans cette liste.
Remarques
- Ce pourrait être une bonne idée de vous familiariser avec fstab si vous ne le connaissez pas bien. Prenez votre temps et pensez à chaque étape.
- Si vous installez une nouvelle distribution et utilisez le même nom de connexion, vos anciens fichiers / home appartiendront automatiquement à vous.
- Ce n'est pas un sujet trivial à couvrir dans un seul article, mais je pense que j'ai eu l'essentiel. :)