#1 Le 22/02/2020, à 16:01
- JujuLand
[Résolu] Changement de disque de la partition /home
Bonjour,
Voilà, j'ai unstallé un Xubuntu 16.04 sur un disque vierge, je n'avais alors à disposition qu'un HD de 500 Go
J'ai maintenant un second HD de 500 Go, je veux transférer le home du premier disque vers le second.
J'ai formaté le second HD en ext4, avec un nom de volume home-alain
J'ai recopié l'intégralité du dossier alain dans /home-alain
J'ai récupéré le UUID de la partition /dev/sdb1 avec blkid
alain@Gramps-JujuLand2:~/Bureau$ sudo blkid
/dev/sdb1: LABEL="home-alain" UUID="567d90c0-9857-4654-8e3d-645954cbdb4e" TYPE="ext4" PARTUUID="78000000-01"
J'ai le fstab suivant:
# /home was on /dev/sda5 during installation
UUID=1a353d49-58ba-49d0-b770-2ddf0b995f65 /home ext4 defaults 0 2
la modification suivante sera-t-elle suffisante :
# /home moved to /dev/sdb1
UUID=567d90c0-9857-4654-8e3d-645954cbdb4e /home ext4 defaults 0 2
# /home was on /dev/sda5 during installation, and now moved to sdb1
UUID=1a353d49-58ba-49d0-b770-2ddf0b995f65 /multimedia ext4 defaults 0 2
Merci
A+
Dernière modification par JujuLand (Le 24/02/2020, à 15:24)
Xubuntu 16.04 > Dell DM061 (2007) + Dell Inspiron 531 (2008)
Xubuntu 16.04 > Asus X51L (2009) + MSI GX723 (2009)
Xubuntu 22.04 > HP 15BA048NF (2018)
Hors ligne
#2 Le 22/02/2020, à 16:35
- erresse
Re : [Résolu] Changement de disque de la partition /home
Bonjour,
Non, ta modification ne sera pas suffisante...
Tu as assigné un volume supplémentaire sur "/multimedia", mais le volume "/home" demeure tel qu'il était précédemment.
Donc tu trouveras tes informations sur le volume /multimédia, mais aussi, si tu les as copiées et non déplacées, sur le volume /home.
Si tu veux juste déplacer tes données propres (les répertoires standards "Documents", "Images", "Musique", "Vidéos",...) sur le nouveau volume, point n'est besoin de déplacer le /home, il suffit de déplacer les données et de mettre des liens dans le $HOME pour y avoir accès.
Dans cette configuration, les données autres que tes donnée personnelles, restent dans le /home, c'est de loin la meilleure solution.
Plus de 50 ans d'informatique, ça en fait des lignes de commandes en console, mais on n'avait pas le choix...
Excellente raison pour, aujourd'hui qu'on le peut, utiliser au maximum les INTERFACES GRAPHIQUES !
Important : Une fois résolu, pensez à clore votre sujet en ajoutant [Résolu] devant le titre du 1er message, et un bref récapitulatif de la solution à la fin de celui-ci. Merci.
Hors ligne
#3 Le 22/02/2020, à 20:20
- JujuLand
Re : [Résolu] Changement de disque de la partition /home
Je ne compends pas trop.
Le montage des ressources est bien piloté par fstab, non ?
Pas d'autre fichier de config qui s'occupe de ça ?
Donc comme je le pense, en modifiant fstab (peut-être depuis une session sur dvd) le système ne pourras pas remettre mon home sur sda5
Et en bootant, il devrait bien me trouver le home sur sdb1, non ?
Après, que le contenu de /multimedia soit identique au nouveau home, je m'en balance, et j'effacerai le contenu de /multimedia, et les accès à home devraint se faire de toute façon sur sdb1, non ?
A+
Xubuntu 16.04 > Dell DM061 (2007) + Dell Inspiron 531 (2008)
Xubuntu 16.04 > Asus X51L (2009) + MSI GX723 (2009)
Xubuntu 22.04 > HP 15BA048NF (2018)
Hors ligne
#4 Le 23/02/2020, à 11:03
- malbo
Re : [Résolu] Changement de disque de la partition /home
Bonjour,
Je te conseille d'utiliser la doc "Déplacer son dossier utilisateur (« /home »)"
Le préambule de ce doc commence par "Déplacer le dossier HOME est fastidieux et dangereux"
Hors ligne
#5 Le 23/02/2020, à 11:08
- moko138
Re : [Résolu] Changement de disque de la partition /home
Tu as assigné un volume supplémentaire sur "/multimedia", mais le volume "/home" demeure tel qu'il était précédemment.
erresse, tu as lu trop vite ; regarde bien les uuid.
%NOINDEX%
Un utilitaire précieux : ncdu
Photo, mini-tutoriel : À la découverte de dcraw
Hors ligne
#6 Le 23/02/2020, à 14:05
- JujuLand
Re : [Résolu] Changement de disque de la partition /home
Merci Malko, j'avais déjà lu cet article.
Grosso modo, je fais bien la même chose que la méthode 1, sauf que je ne renomme pas le dossier /home., et que la copie n'a pas été faite de la même manière
Mais est-ce important ?
Rien ne m'empêche de nommer un dossier /home sur un autre disque, sans que cela ne change le montage.
Donc, si je change le montage et le fait pointer sur une autre partition, pas besoin de dossier home, j'ai directement mon dossier alain à la racine de sdb1, non ?
Il me semble que je n'ai pas tout à fait tort, non ?
A+
Xubuntu 16.04 > Dell DM061 (2007) + Dell Inspiron 531 (2008)
Xubuntu 16.04 > Asus X51L (2009) + MSI GX723 (2009)
Xubuntu 22.04 > HP 15BA048NF (2018)
Hors ligne
#7 Le 23/02/2020, à 16:19
- fernand1
Re : [Résolu] Changement de disque de la partition /home
Bonjour Jujuland
Peut-être trouveras-tu ton bonheur en allant sur:
http://mezigoo.free.fr/home/index.html
Perso j'ai utilisé cela pour déplacer mon home sur un autre disque avec gparted.
Hors ligne
#8 Le 23/02/2020, à 16:26
- TheSun
Re : [Résolu] Changement de disque de la partition /home
Ah j'avais pas vu, en faite t'a fais un peu n'importe quoi avec tes disques, je pensais que c'était tout sur le même disque physique.
Dans ce cas oui je confirme, il faut tout repartir de 0. Tu met la racine et le home sur le même disque, le plus rapide des 2 (si tu as un SSD c'est l'idéal), si tu n'a que des disques méca, il faut mettre sur celui avec la vitesse de rotation la plus élevé. Ton dossier Multimedia lui tu le monte sur l'autre disque (le moins performant des 2 !)
voilà le partitionnement à faire par exemple :
Disque dur (ou SSD ?) 1 de 512 Go (doit être le plus rapide) :
- Une partition racine "/" de 40 Go
- Le reste en /home
(swap facultatif ou en fichier /swap)
Disque dur secondaire de 512 Go (doit être le plus lent des 2) :
- Une partition Multimédia qui devra être monté via fstab dans /media/multimedia ou /mnt/multimedia par ex.
Dernière modification par TheSun (Le 23/02/2020, à 16:29)
#9 Le 23/02/2020, à 16:46
- erresse
Re : [Résolu] Changement de disque de la partition /home
Tu as assigné un volume supplémentaire sur "/multimedia", mais le volume "/home" demeure tel qu'il était précédemment.
erresse, tu as lu trop vite ; regarde bien les uuid.
Effectivement, je n'avais pas prêté attention aux UUID's, désolé. Mais apparemment, je n'ai pas non plus bien interprété la demande, alors il vaut mieux considérer mon message précédent comme nul et non avenu...
Je continue à suivre le fil pour essayer de comprendre où JujuLand veut vraiment en venir.
Plus de 50 ans d'informatique, ça en fait des lignes de commandes en console, mais on n'avait pas le choix...
Excellente raison pour, aujourd'hui qu'on le peut, utiliser au maximum les INTERFACES GRAPHIQUES !
Important : Une fois résolu, pensez à clore votre sujet en ajoutant [Résolu] devant le titre du 1er message, et un bref récapitulatif de la solution à la fin de celui-ci. Merci.
Hors ligne
#10 Le 23/02/2020, à 16:56
- JujuLand
Re : [Résolu] Changement de disque de la partition /home
@TheSun,
J'ai maintenant un second HD de 500 Go, je veux transférer le home du premier disque vers le second.
Comme quoi, il faut lire avant de répondre
Tu met la racine et le home sur le même disque
Si je veux mettre le home sur le second disque, c'est notamment pour bénéficier d'une taille plus grande ...
Occupation des partitions du disque
Sys. de fichiers Taille Utilisé Dispo Uti% Partition
/dev/sda1 46 Go 12 Go 32 Go 28% /
/dev/sda2 46 Go 1,7 Go 42 Go 4% /opt
/dev/sda3 46 Go 142 Mo 44 Go 1% /usr/local
/dev/sda5 316 Go 29 Go 271 Go 10% /home
/dev/sdb1 459 Go 26 Go 410 Go 6% /media/alain/home-alain
Voila pourquoi je ne veux pas conserver / et home sur le même disque
@fernand1,
C'est très simple, et il n'y a pas de raison que ça ne fonctionne pas ...
La copie sera de meilleure qualité (on voit une différence de taille utilisée), avec notamment les liens et sans doute des dossiers protégés ...
Seul truc, il faut retailler la partition sdb1 après copie pour bénéficier de la taille complète du disque.
Mais ce n'est pas un problème avec gparted ...
Je m'en vais donc essayer çà ...
Merci
A+
Xubuntu 16.04 > Dell DM061 (2007) + Dell Inspiron 531 (2008)
Xubuntu 16.04 > Asus X51L (2009) + MSI GX723 (2009)
Xubuntu 22.04 > HP 15BA048NF (2018)
Hors ligne
#11 Le 23/02/2020, à 17:22
- fernand1
Re : [Résolu] Changement de disque de la partition /home
Oui, je confirme, après avoir copié le home sda5 sur le second disque sdb1, si ton home initial ne faisait que 26 Go, facile d'agrandir cette nouvelle partition home à la taille souhaitée avec gparted.
Peut-être avant d'agrandir cette partition, tester si tout est ok.
ne pas oublier avant de tester de supprimer sda5, sinon le pc va perdre les pédales puisqu'il va voir 2 homes. sda5 et sdb1
Cette méthode peut aussi permettre de sauver le home sur un disque externe usb
Hors ligne
#12 Le 23/02/2020, à 17:45
- JujuLand
Re : [Résolu] Changement de disque de la partition /home
Pourquoi supprimer, il suffit, de modifier les UUID dans le fstab avant le reboot, et de renommer l'ancien home en multimedia, non ?
A+
Dernière modification par JujuLand (Le 23/02/2020, à 17:45)
Xubuntu 16.04 > Dell DM061 (2007) + Dell Inspiron 531 (2008)
Xubuntu 16.04 > Asus X51L (2009) + MSI GX723 (2009)
Xubuntu 22.04 > HP 15BA048NF (2018)
Hors ligne
#13 Le 23/02/2020, à 18:02
- JujuLand
Re : [Résolu] Changement de disque de la partition /home
Bon, je viens d'essayer, et, ce qui n'est pas dit dans la chanson, c'est qu'il faut démarrer sur un boot dvd ou clé ...
Ca parait logique ...
A+
Xubuntu 16.04 > Dell DM061 (2007) + Dell Inspiron 531 (2008)
Xubuntu 16.04 > Asus X51L (2009) + MSI GX723 (2009)
Xubuntu 22.04 > HP 15BA048NF (2018)
Hors ligne
#14 Le 23/02/2020, à 18:22
- fernand1
Re : [Résolu] Changement de disque de la partition /home
Oui sans doute, mais c'est un peu compliqué pour moi.
L'ancien home renommé en multimédia contient donc toujours toutes les données.
Il représente donc un doublon avec le nouveau home sdb1, ce qui consomme de la mémoire sur le disque primaire sda5, alors que souvent on veut libérer de la mémoire pour y loger d'autres OS.
A toi de voir et de tester.
Si ça fonctionne, je suis intéressé de connaître les manipulations.
merci
rajout: j'avais pas lu ton dernier post.
Il faut utiliser gparted sur clé usb bootable.
Dernière modification par fernand1 (Le 23/02/2020, à 18:24)
Hors ligne
#15 Le 23/02/2020, à 19:12
- JujuLand
Re : [Résolu] Changement de disque de la partition /home
Bon tout d'abord, ça fontionnne nickel
alain@Gramps-JujuLand2:~/Bureau$ dsize
Occupation des partitions du disque
Sys. de fichiers Taille Utilisé Dispo Uti% Partition
/dev/sda1 46 Go 12 Go 32 Go 28% /
/dev/sdb1 459 Go 29 Go 407 Go 7% /home
/dev/sda3 46 Go 142 Mo 44 Go 1% /usr/local
/dev/sda2 46 Go 1,7 Go 42 Go 4% /opt
/dev/sda5 316 Go 29 Go 271 Go 10% /multimedia
Bon, voici comment j'ai procédé:
- boot sur dvd
- gparted
- démontage de sda5 (/home)
- copie
- collé sur second hd vierge
- passage sur 1er disque
- changement UUID de sda5
- copie du nouvel l'UUID de sda5
- edition du fstab /media/UUID du premier disque/etc/fstab
- ajout du montage de multimedia avec nouvel UUID de sda5
- reboot
Tout est nickel
On voit bien maintenant sur le df que multimedia et home sont sur des partitions inversées, et que la taille occupée est exactement la même (ce qui prouve que la copie par gparted est bien meilleure que celle que j'avais fait)
On voit aussi que les données sur multimedia ne gênent en rien le montage de /home
Et évidemment, le but n'est pas de les avoir en double, et je vais les virer.
Je n'ai pas dans l'idée d'installer un autre os, mais je note l'idée, et j'y mettrai probablement mes images virtualbox ...
J'espère avoir été assez clair.
Après nettoyage, voici ce que j'ai:
Occupation des partitions du disque
Sys. de fichiers Taille Utilisé Dispo Uti% Partition
/dev/sda1 46 Go 12 Go 32 Go 28% /
/dev/sdb1 459 Go 29 Go 407 Go 7% /home
/dev/sda3 46 Go 142 Mo 44 Go 1% /usr/local
/dev/sda2 46 Go 1,7 Go 42 Go 4% /opt
/dev/sda5 316 Go 67 Mo 299 Go 1% /multimedia
Ce qui est curieux, et je ne pense pas que c'est lié au déplacement de /home, il y a quand même 67 Mo utilisés malgré le nettoyage ...
A+
Dernière modification par JujuLand (Le 23/02/2020, à 19:18)
Xubuntu 16.04 > Dell DM061 (2007) + Dell Inspiron 531 (2008)
Xubuntu 16.04 > Asus X51L (2009) + MSI GX723 (2009)
Xubuntu 22.04 > HP 15BA048NF (2018)
Hors ligne
#16 Le 23/02/2020, à 19:26
- fernand1
Re : [Résolu] Changement de disque de la partition /home
Oui c'est clair.
Content que tu aies pu in fine déplacer ton home.
bonne soirée
Dernière modification par fernand1 (Le 23/02/2020, à 19:28)
Hors ligne
#17 Le 23/02/2020, à 19:45
- ar barzh paour
Re : [Résolu] Changement de disque de la partition /home
# /home moved to /dev/sdb1
UUID=567d90c0-9857-4654-8e3d-645954cbdb4e /home ext4 defaults 0 2
alain@Gramps-JujuLand2:~/Bureau$ sudo blkid
/dev/sdb1: LABEL="home-alain" UUID="567d90c0-9857-4654-8e3d-645954cbdb4e" TYPE="ext4" PARTUUID="78000000-01"
bien qu'ayant quelques inconvénients
dont celui-ci : il ne doit pas y avoir 2 LABEL identiques sur les disques
je préfère utiliser dans fstab (mais ça n'engage que moi)
# /home moved to /dev/sdb1
LABEL=home-alain /home ext4 defaults 0 2
Dernière modification par ar barzh paour (Le 23/02/2020, à 19:50)
PC : B760M DS3H DDR4, 12th Gen Intel(R) Core(TM) i3-12100, RAM DDR4 8GiB -2400 Ubuntu 20.04, 22.04, 24.04 (en test )
Portable1 : Intel(R) Core(TM)2 Duo CPU T6570 @ 2.10GHz RAM 4GiB DDR2 667 MHz Ubuntu 22.04 ( en voyage )
Portable2 : T5750 @ 2.00GHz RAM 1GiB DDR2 667 Mhz Ubuntu 20.04 ( batterie HS )
stourm a ran war bep tachenn (Angela Duval) ( Je combats sur tous les fronts )
Hors ligne
#18 Le 23/02/2020, à 20:06
- JujuLand
Re : [Résolu] Changement de disque de la partition /home
Bon, tu es parti de mon premier post, où je procédais en dupliquant le montage de sda5, je changeais le UUID de sda5 pour lui mettre celui du sdb1 et je corrigeais la seconde ligne pour remplacer /home par /multimedia
Je n'ai pas in fine procédé de cette façon, mais j'ai supprimé le sdb1 créé avant, j'ai copié sda5 et l'ai collé dans le second disque vierge, et ai changé l'UUID de sda5
J'avais donc deux partitions avec le même contenu et j'ai donc juste eu à ajouter dans fstab le montage de /multimedia sur sda5
Je ne vois pas où il y pouvait y avoir deux labels identiques.
A+
Dernière modification par JujuLand (Le 23/02/2020, à 20:07)
Xubuntu 16.04 > Dell DM061 (2007) + Dell Inspiron 531 (2008)
Xubuntu 16.04 > Asus X51L (2009) + MSI GX723 (2009)
Xubuntu 22.04 > HP 15BA048NF (2018)
Hors ligne
#19 Le 23/02/2020, à 20:39
- TheSun
Re : [Résolu] Changement de disque de la partition /home
Si je veux mettre le home sur le second disque, c'est notamment pour bénéficier d'une taille plus grande
Le gain sera faible si tu as bien 2 disques de 512 Go, en effet en prenant comme considération que la taille réel de ton disque de 512 Go est de 460 Go :
- En mettant tout sur le 1er disque, tu fais une racine de 40 Go et un home de 420 Go
- Si tu met tout le home sur le 2ème disque à la place, au lieu d'en avoir un de 420 Go, t'en aura un de 460 Go, ça change pas grand chose.
De plus, est ce que tu as un SSD parmi les 2 disques ? (voir 2 SSD) ? ça change énormément de chose d'avoir un SSD, c'est presque comme si tu changeais de PC;
Dernière modification par TheSun (Le 23/02/2020, à 20:39)
#20 Le 24/02/2020, à 10:17
- JujuLand
Re : [Résolu] Changement de disque de la partition /home
Peut-être, mais ce n'est pas le partitionnement que j'ai choisi.
Je suis passé d'un
NEC PowerMate VL360 - Athlon 64 3800+ 2.4 GHz avec Ubuntu 12.04
à un
Dell Inspiron 531 - AMD Athlon 64 X2 3600+ avec Xubuntu 16.04
Je voulais changer d'OS, et comme j'avais récupéré cet ordi, ça a fait le deal. Ce n'est pas un foudre de guerre, mais comparé à l'ancien c'est un duo core, et ça supporte pas mal le changement d'OS
Les deux ordis ont plus de 10 ans, mais tournent encore pas mal, et pour un ordi que j'ai vu à environ 50€ (avec un 250Go et 1 Go de RAM) en occasion sur le net, je ne vais pas investir dans un SSD ...
Bon, j'ai quand même un peu mieux : 2 x 500 Go HD et 4 Go de RAM, ce qui aide un peu ...
A+
Xubuntu 16.04 > Dell DM061 (2007) + Dell Inspiron 531 (2008)
Xubuntu 16.04 > Asus X51L (2009) + MSI GX723 (2009)
Xubuntu 22.04 > HP 15BA048NF (2018)
Hors ligne
#21 Le 24/02/2020, à 16:38
- alh54
Re : [Résolu] Changement de disque de la partition /home
Je n'ai pas dans l'idée d'installer un autre os, mais je note l'idée, et j'y mettrai probablement mes images virtualbox ...
Je ne sais pas si tu disposes d'un disque supplémentaire pour sauvegarder tes fichiers personnels, si ce n'est pas le cas il est impératif de réserver /dev/sda5 à une partition de sauvegarde.
Hors ligne
#22 Le 25/02/2020, à 11:43
- ar barzh paour
Re : [Résolu] Changement de disque de la partition /home
Je ne vois pas où il y pouvait y avoir deux labels identiques.
je n'ai pas dit qu'il y avait deux labels identiques , j'ai dit qu'il fallait faire attention à ne pas utiliser le même label identique sur deux partitions (en cours), et que je trouvais que c'était plus lisible que d'utiliser l'UUID
d'autre part je suis en train d'étudier l'option nofail du fstab
Dernière modification par ar barzh paour (Le 25/02/2020, à 11:51)
PC : B760M DS3H DDR4, 12th Gen Intel(R) Core(TM) i3-12100, RAM DDR4 8GiB -2400 Ubuntu 20.04, 22.04, 24.04 (en test )
Portable1 : Intel(R) Core(TM)2 Duo CPU T6570 @ 2.10GHz RAM 4GiB DDR2 667 MHz Ubuntu 22.04 ( en voyage )
Portable2 : T5750 @ 2.00GHz RAM 1GiB DDR2 667 Mhz Ubuntu 20.04 ( batterie HS )
stourm a ran war bep tachenn (Angela Duval) ( Je combats sur tous les fronts )
Hors ligne
#23 Le 25/02/2020, à 11:58
- bluc
Re : [Résolu] Changement de disque de la partition /home
Pourquoi supprimer, il suffit, de modifier les UUID dans le fstab avant le reboot, et de renommer l'ancien home en multimedia, non ?
A+
Si il faut supprimer l'ancien home et ne pas changer l'uuid de la copie puisse que cette copie a le meme uuid que dans fstab
Clevo : Ubuntu 23.10 ❖ Xubuntu 22.10 ❖ Kubuntu 23.10
avec partition data commune Une fraction de seconde Multiboot
Hors ligne
#24 Le 25/02/2020, à 15:17
- JujuLand
Re : [Résolu] Changement de disque de la partition /home
ne pas changer l'uuid de la copie
C'est bien ce que j'ai fait, et c'est cohérent avec le fstab.
Si il faut supprimer l'ancien home
Dans la mesure où j'édite le fstab, et que j'ajoute une ligne pour le montage de /multimedia, avec un UUID différent, la suppression ne s'impose pas.
A+
Xubuntu 16.04 > Dell DM061 (2007) + Dell Inspiron 531 (2008)
Xubuntu 16.04 > Asus X51L (2009) + MSI GX723 (2009)
Xubuntu 22.04 > HP 15BA048NF (2018)
Hors ligne
#25 Le 25/03/2020, à 16:17
- JujuLand
Re : [Résolu] Changement de disque de la partition /home
Bon, avec un peu de retard ...
Tout est nickel
A+
Xubuntu 16.04 > Dell DM061 (2007) + Dell Inspiron 531 (2008)
Xubuntu 16.04 > Asus X51L (2009) + MSI GX723 (2009)
Xubuntu 22.04 > HP 15BA048NF (2018)
Hors ligne