Contenu | Rechercher | Menus

Annonce

Si vous avez des soucis pour rester connecté, déconnectez-vous puis reconnectez-vous depuis ce lien en cochant la case
Me connecter automatiquement lors de mes prochaines visites.

À propos de l'équipe du forum.

#1 Le 22/02/2020, à 15: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, à 14: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, à 15: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, à 19: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, à 10: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, à 10: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, à 13: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, à 15: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, à 15: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, à 15:29)

#9 Le 23/02/2020, à 15:46

erresse

Re : [Résolu] Changement de disque de la partition /home

moko138 a écrit :

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... yikes
Je continue à suivre le fil pour essayer de comprendre où JujuLand veut vraiment en venir. neutral


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, à 15:56

JujuLand

Re : [Résolu] Changement de disque de la partition /home

@TheSun,

JujuLand a écrit :

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

TheSun a écrit :

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, à 16: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, à 16: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, à 16: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, à 17: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, à 17: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, à 17:24)

Hors ligne

#15 Le 23/02/2020, à 18: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, à 18: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, à 18: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, à 18:28)

Hors ligne

#17 Le 23/02/2020, à 18: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, à 18:50)


PC          : B760M DS3H DDR4,  12th Gen Intel(R) Core(TM) i3-12100, RAM DDR4 8GiB -2400 Ubuntu 22.04, 22.04, 23.04
Portable1 : Intel(R) Core(TM)2 Duo CPU     T6570  @ 2.10GHz RAM 4GiB DDR2 667 MHz Ubuntu 23.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, à 19: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, à 19: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, à 19:39

TheSun

Re : [Résolu] Changement de disque de la partition /home

JujuLand a écrit :

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, à 19:39)

#20 Le 24/02/2020, à 09: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, à 15:38

alh54

Re : [Résolu] Changement de disque de la partition /home

JujuLand a écrit :

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, à 10:43

ar barzh paour

Re : [Résolu] Changement de disque de la partition /home

Jujuland a écrit :

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  wink wink wink
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, à 10:51)


PC          : B760M DS3H DDR4,  12th Gen Intel(R) Core(TM) i3-12100, RAM DDR4 8GiB -2400 Ubuntu 22.04, 22.04, 23.04
Portable1 : Intel(R) Core(TM)2 Duo CPU     T6570  @ 2.10GHz RAM 4GiB DDR2 667 MHz Ubuntu 23.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, à 10:58

bluc

Re : [Résolu] Changement de disque de la partition /home

JujuLand a écrit :

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, à 14: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, à 15: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