Pages : 1
#1 Le 29/12/2005, à 20:16
- Frór
[Résolu] Changer la partition /home de disque
Bonjour,
par manque de place, je voudrais changer ma partition /home de disque. Comment faire ? De plus, j'ai quelques liens symboliques dessus vers d'autres partitions. Devrai-je les modifier ?
Étant donné que nous sommes plusieurs à utiliser cette machine, je voudrais conserver les permissions telles qu'elles sont actuellement.
D'avance merci,
Frór
Dernière modification par Frór (Le 30/12/2005, à 00:24)
Hors ligne
#2 Le 29/12/2005, à 20:52
- gpocentek
Re : [Résolu] Changer la partition /home de disque
Salut,
Je n'ai jamais fait ça mais si j'avais à le faire, je ferai :
$ mount /mon_autre_disque /mon_nouveau_home
$ cp -R /home/* /mon_nouveau_home
$ éditer /etc/fstab pour indiquer que j'utilise un autre disque pour le /home
$ mount -a
Je pense que ça fonctionne.
Ne pas oublier de faire une copie de sauvegarde du fstab. Comme rien n'est déplacé/effacé, remettre en place le fstab remettra les choses dans l'ordre si un problème survient.
Gloubi
Hors ligne
#3 Le 29/12/2005, à 21:01
- Frór
Re : [Résolu] Changer la partition /home de disque
J'ai un doute ... Ça conserve les date et groupe/propriétaire des fichiers ? De plus, est-ce que ça suit les liens symboliques ?
J'ai lu le man de cp et je n'y comprends pas grand chose : quelle est la différence fondamentale entre no-dereference et dereference ?
Hors ligne
#4 Le 29/12/2005, à 21:23
- sbrunner
Re : [Résolu] Changer la partition /home de disque
Hello !
le cp copie tous les droits ;-)
Pour les lien symbolique il copie juste le lien (cela suffit)
CU
Stéph
PS1 : je te conseille de faire la copie en root (sudo cp ...)
PS2 : une fois l'opération effectuée pense à effacer les fichiers /home/* de la partition root (/) sinon tu auras de l'espace utiliser par des fichiers masquer par la nouvelle partition !
Hors ligne
#5 Le 29/12/2005, à 22:14
- mr_pouit
Re : [Résolu] Changer la partition /home de disque
Hello !
le cp copie tous les droits ;-)
Pour les lien symbolique il copie juste le lien (cela suffit)
C'est sûr ?
Instinctivement (mais je peux me planter ), j'aurais dit : "cp -a", comme ça il conserve les permissions ( -p ), ne suit pas les liens symboliques ( -d ), et récursif ( -r ).
Cela signifie que cp -r intègre directement les options -dp en plus ?
Hors ligne
#6 Le 29/12/2005, à 23:33
- Frór
Re : [Résolu] Changer la partition /home de disque
Effectivement, ça fonctionne déjà bien mieux Merci beaucoup
Hors ligne
#7 Le 30/12/2005, à 00:15
- dawar
Re : [Résolu] Changer la partition /home de disque
Donc tu peux mettre [Résolu] dans le titre en éditant ton premier message ?
Merci
S'il n'y a pas de solution, c'est qu'il n'y a pas de problème (Devise Shadoks)
Hors ligne
#8 Le 30/12/2005, à 10:31
- forficule
Re : [Résolu] Changer la partition /home de disque
bonjour, est-ce que la méthode donnée ci-dessus
$ mount /mon_autre_disque /mon_nouveau_home
$ cp -R /home/* /mon_nouveau_home
$ éditer /etc/fstab pour indiquer que j'utilise un autre disque pour le /home
$ mount -a
peut permettre de copier d'autres partitions ? genre var ?
L'idée pour moi c'est de récupérer la place d'une ancienne mandriva que ma badger a définitivement enterrée du coup je commence à être à l'étroit sur la partition ubuntu et j'ai de la place à récupérer sur les partitions ubuntu...
Est-ce que gparted peut être utile ? est-ce que je peux étendre ma partition ubuntu sur les partitions mandriva avec ?
merci
Dernière modification par forficule (Le 30/12/2005, à 10:32)
Hors ligne
#9 Le 30/12/2005, à 10:46
- gpocentek
Re : [Résolu] Changer la partition /home de disque
Ca doit pouvoir fonctionner pour tout.
Hors ligne
#10 Le 30/12/2005, à 11:15
- sbrunner
Re : [Résolu] Changer la partition /home de disque
bonjour, est-ce que la méthode donnée ci-dessus
$ mount /mon_autre_disque /mon_nouveau_home
$ cp -R /home/* /mon_nouveau_home
$ éditer /etc/fstab pour indiquer que j'utilise un autre disque pour le /home
$ mount -apeut permettre de copier d'autres partitions ? genre var ?
L'idée pour moi c'est de récupérer la place d'une ancienne mandriva que ma badger a définitivement enterrée du coup je commence à être à l'étroit sur la partition ubuntu et j'ai de la place à récupérer sur les partitions ubuntu...
Est-ce que gparted peut être utile ? est-ce que je peux étendre ma partition ubuntu sur les partitions mandriva avec ?
merci
Non il faut remplacer le 'cp -R' par un 'cp -a'
PS pou Frór : désoler pour la mauvaise info
Personnellement j'utilise plutôt un 'rsync -av' (gère également les mise à jours)
Hors ligne
#11 Le 12/06/2008, à 17:17
- Mazel
Re : [Résolu] Changer la partition /home de disque
Bonjour
Je viens de me rendre compte qu'en installant Hardy, home a ete installe sur la partition racine (je ne sais pas comment j'ai loupe mon coup). J'ai l'impression que la partition home a des proprietes particulieres (raccourcis direct dans tous les navigateur, par exemple) et je voudrais que la partition que j'avais prevue pour cela, devienne vraiment mon home et pas seulement y copier mes donnees.
Est-ce que la methode propose dans ce fil (sudo cp ....) fais cela ?
Est-ce que je me trompe et home n'a aucune propriete particuliere ?
Et des precisions :
c'est quoi le -R dans <cp -R/home>....?
a quoi sert le mount -a ?
Ca fait pas mal de questions. Si vous pouvez m'aidez, merci.
Mazel
Dell Latitude E5540 sous Ubuntu 18.04 (en dualboot avec windows 10)
Hors ligne
#12 Le 12/06/2008, à 19:31
- Compte anonymisé
Re : [Résolu] Changer la partition /home de disque
Salut Mazel
Il faudrait déjà montrer tes partitions par la commande :
sudo fdisk -l
Ensuite le principe est le suivant :
1) démarrer en LiveCd
2) démonter toutes les partitions (on ne sait jamais) :
sudo umount -a
3) créer les points de montage pour copier le contenu du /home vers le /nouvel_home
sudo mkdir /nouvel_home
sudo mkdir /racine
4) monter les partitions sur les points de montage créés ci-dessus :
sudo mount -o ro /dev/sdxy /racine on monte en lecture seule la partition / (remplacer les x y par les bonnes valeurs)
sudo mount -o rw /dev/sdvw /nouvel_home on monte en écriture la future partition /home (remplacer là aussi les v w par les bonnes valeurs)
5) lancer la copie :
sudo cp -a /racine/home/. /nouvel_home attention le "." à la fin de /racine/home/. est très important.
là tu patientes
6) en fin de copie il faut :
renommer l'ancien répertoire /home :
sudo mount -o remount,rw /dev/sdxy /racine on remonte / en rw
sudo mv /racine/home /racine/vieil_home
créer un point de montage /home sur / :
sudo mkdir /racine/home
7) enfin il faut ajouter une ligne dans le fichier /etc/fstab pour prendre en compte ce nouvel_home :
déjà faire une copie de sauvegarde :
sudo cp /racine/etc/fstab /racine/etc/fstab.sov on ne sait jamais
puis
sudo gedit /racine/etc/fstab
et ajouter une ligne de type :
/dev/sdvw /home ext3 defaults 0 2 attention les vw sont à remplacer avec les bonnes valeurs. ext3 peut (doit) aussi être adapté ext4 étant désormais par défaut.
Il vaut mieux mettre maintenant des UUID à la place des /dev/sdvw mais ça peut se faire dans un deuxième temps.
A ce niveau là tu n'as normalement rien cassé et tes anciennes données (/viel_home) sont toujours présentes.
Il ne reste plus qu'à booter et vérifier que tout fonctionne bien.
Si tout est ok il faut ensuite supprimer les données de /vieil_home pour récupérer la place et "normaliser le /etc/fstab avec les UUID.
@+
Dernière modification par Compte anonymisé (Le 27/03/2010, à 01:33)
#13 Le 12/06/2008, à 20:35
- Mazel
Re : [Résolu] Changer la partition /home de disque
Merci jeanjd pour tes indications detaillees, ca ne sera pas trop pour moi. I
l faut que je prenne le temps de relire mais en attendant voila deja pour les partitions :
Disque /dev/sda: 160.0 Go, 160041885696 octets
255 heads, 63 sectors/track, 19457 cylinders
Units = cylindres of 16065 * 512 = 8225280 bytes
Identifiant disque: 0xfcddfcdd
Périphérique Amorce Début Fin Blocs Id Système
/dev/sda1 * 1 1216 9767488+ 7 HPFS/NTFS
/dev/sda2 1217 2432 9767520 83 Linux
/dev/sda3 2433 18480 128905560 5 Extended
/dev/sda5 2433 2675 1951866 82 Linux swap / Solaris
/dev/sda6 2676 14833 97659103+ 83 Linux
/dev/sda7 14834 18480 29294496 b W95 FAT32
c'est-a-dire
sda1 : windows
sda2 : systeme linux
sda3 : c'est ce qui est sous-partitionne apres ?
sda5 : swap
sda6 : c'est la que je mettais home jusqu'a l'installation de hardy (et ou je voudrais le remettre)
sda7 : une sorte de partition data pour windows
Je vais me replonger dans tes conseils, bientôt.
Mazel
Dell Latitude E5540 sous Ubuntu 18.04 (en dualboot avec windows 10)
Hors ligne
#14 Le 12/06/2008, à 21:25
- Compte anonymisé
Re : [Résolu] Changer la partition /home de disque
Salut
Dans les commandes indiquées ci-dessus tu peux changer tous les :
/dev/sdxy par /dev/sda2 et les
/dev/sdvw par /dev/sda6
@+
#15 Le 13/06/2008, à 07:22
- cep
Re : [Résolu] Changer la partition /home de disque
Bonjour
Je viens de me rendre compte qu'en installant Hardy, home a ete installe sur la partition racine (je ne sais pas comment j'ai loupe mon coup). J'ai l'impression que la partition home a des proprietes particulieres (raccourcis direct dans tous les navigateur, par exemple) et je voudrais que la partition que j'avais prevue pour cela, devienne vraiment mon home et pas seulement y copier mes donnees.
Est-ce que la methode propose dans ce fil (sudo cp ....) fais cela ?
Pour cela tu peux te réferer au tuto rédigé par hoper sur le wiki :
http://doc.ubuntu-fr.org/tutoriel/deplacer_home
Tout y est expliqué et documenté, même si on peut ensuite demander quelques explications supplémentaires sur le forum.
cep
Hors ligne
#16 Le 13/06/2008, à 20:49
- Mazel
Re : [Résolu] Changer la partition /home de disque
Salut à tous.
Merci pour vos réponses, je vais pouvoir me lancer. Je ne vois pas trop pourquoi il faut tout démonter comme tu me le suggères jeanjd, mais ton "on ne sait jamais" m'incite à la faire.
Encore une question avant d'y aller : sur la partition qui doit devenir mon /home, il y a le répertoire /mazel qui contient toutes mes anciennes données car c'était avant mon /home/mazel . Je vais le renommer en mazel2 pour pouvoir copier à côté mon /home/mazel actuel qui est lui sur la partition racine (et qui contient beaucoup moins de données que l'ancien).
Est-ce que je ne risque pas de perdre des données ou de rencontrer un autre problème ?
Ciao
Mazel
Dell Latitude E5540 sous Ubuntu 18.04 (en dualboot avec windows 10)
Hors ligne
#17 Le 13/06/2008, à 22:07
- Compte anonymisé
Re : [Résolu] Changer la partition /home de disque
Salut
A priori ça ne doit pas poser de pb d'avoir :
/home/mazel et
/home/mazel2
@+
#18 Le 13/11/2008, à 14:40
- Mazel
Re : [Résolu] Changer la partition /home de disque
Après quelques mois j'ai enfin déplacé mon Home et je l'ai fait en suivant exactement le tutoriel de la doc indiqué par cep. Ca n'enlève rien à ce que me proposait jeanjd63 (à peu près la même chose) mais comme j'avais un souci avec mon LiveCd je sui sparti sur l'autre méthode. Merci à tous, c'est bien mieux maintenant.
Mazel
Dell Latitude E5540 sous Ubuntu 18.04 (en dualboot avec windows 10)
Hors ligne
#19 Le 28/07/2010, à 15:09
- snipe2004
Re : [Résolu] Changer la partition /home de disque
Bonjour,
J'ai un problème similaire mais légèrement différent, et j'aimerais votre avis sur le sujet...
J'ai deux disques, sda et sdb. Sur sda, j'avais précédemment ma racine "/", et sur sdb mon répertoir "/home". En passant d'Ubuntu 8.04 à 10.04 par une réinstallation complète, j'ai oublié de mentionner que sdb devait faire office de "/home".
Résultat, j'ai maintenant un sdb inactif. J'ai lu beaucoup de sujets à ce propos, et en installant MountManager, celui-ci semble me permettre de simplement définir sdb comme point de montage "/home".
Pensez-vous que ceci suffise? Et que cela NE formatera PAS mon sdb, sur lequel j'ai toutes mes données (que je ne peux pas backuper ailleurs)?
Voici un petit screen :
sda1 est ma partition /
sda2 est mon swap
sdb1 contient mon ancien /home que j'aimerais réutiliser comme /home maintenant.
Bien sûr, il me reste la possibilité de refaire l'installation, mais je préférerais passer par ici si possible...
ACER NITRO V 515-54-75T7
i7-9750H @ 2,6 GHz x 12 + GTX 1660 Ti/PCIe/SSE2 6 Go (GDDR6)
NVMe 1 Tb, IPS 144 Hz
Hors ligne
#20 Le 28/07/2010, à 15:37
- Compte anonymisé
Re : [Résolu] Changer la partition /home de disque
Salut
Tu peux toujours tenter d'adapter le fichier /etc/fstab en ajoutant une entrée pour /home qui va pointer vers la partition /dev/sdb1
Il convient aussi de renommer l'actuel répertoire /home se trouvant sous / et d'en créer un nouveau.
Tout cela en LiveCD :
sudo mount /dev/sda1 /mnt
sudo gedit /mnt/etc/fstab et ajouter la ligne de type :
/dev/sdb1 /home ext3 defaults 0 2
puis :
sudo mv /mnt/home /mnt/home.old on renomme l'ancien home
sudo mkdir /mnt/home on crée le répertoire de montage de /dev/sdb1
Et tu tentes de rebooter.
En cas de malheur, il suffit de commenter la ligne dans fstab, de supprimer le point de montage /mnt/home puis de renommer /mnt/home.old en /mnt/home.
@+
Dernière modification par Compte anonymisé (Le 28/07/2010, à 15:37)
#21 Le 30/07/2010, à 16:28
- grigouille
Re : [Résolu] Changer la partition /home de disque
La prochaine fois pensez à utilisez LVM, c'est beaucoup plus souple !
Pour l'utiliser dès l'installation, il faut prendre le CD Alternate (qui est d'ailleurs
beaucoup plus rapide que le LiveCD !).
http://doc.ubuntu-fr.org/lvm
http://forum.ubuntu-fr.org/viewtopic.php?id=393681
Debian (xfce) 12
HP LaserJet M1132 MFP
Hors ligne
#22 Le 31/07/2010, à 08:39
- snipe2004
Re : [Résolu] Changer la partition /home de disque
Arf, si seulement j'avais vu ça plus tôt...
Ca a l'air génial!
C'est exactement ce qu'il me fallait... Tant pis, c'est pour la prochaine fois!
Merci beaucoup!
ACER NITRO V 515-54-75T7
i7-9750H @ 2,6 GHz x 12 + GTX 1660 Ti/PCIe/SSE2 6 Go (GDDR6)
NVMe 1 Tb, IPS 144 Hz
Hors ligne
#23 Le 03/02/2011, à 22:11
- coban
Re : [Résolu] Changer la partition /home de disque
bonsoir,
j'ai regardé avec attention le tuto,
je bloque sur quelques points ...
- pourquoi deplacer le home en live cd ?
- peut-on quand meme le faire en session root ou sudo ?
pour ma part suite a une reinstallation je souhaite deplacer le home de /dev/sda1 vers /dev/sda5/nom de l'utilisateur
- d'autre part il y a un dossier lost+found dans la partition est ce que je peux la virer ?
car suite a la réinstallation la partition n'est pas utilisée, certe le dossier utilisateur est encore présent
- comment affecter les bons droits au dossier utilisateur dans la partition sda5
merci de vos lumiere
Hors ligne
#24 Le 03/02/2011, à 22:26
- Compte anonymisé
Re : [Résolu] Changer la partition /home de disque
bonsoir,
j'ai regardé avec attention le tuto,
je bloque sur quelques points ...
- pourquoi deplacer le home en live cd ?
- peut-on quand meme le faire en session root ou sudo ?
pour ma part suite a une reinstallation je souhaite deplacer le home de /dev/sda1 vers /dev/sda5/nom de l'utilisateur
- d'autre part il y a un dossier lost+found dans la partition est ce que je peux la virer ?
car suite a la réinstallation la partition n'est pas utilisée, certe le dossier utilisateur est encore présent
- comment affecter les bons droits au dossier utilisateur dans la partition sda5
merci de vos lumiere
Attention, vu d'ici (c'est un peu sombre), lors de la réinstall tu as du oublier d'indiquer d'utiliser /dev/sda5 comme partition /home et le système s'est créé un /home sur /dev/sda1.
Pour rectifier tu n'as pas grand chose à faire (à condition que tu aies créé le(s) même user(s) qu'à l'origine).
Il suffit d'ajouter dans /etc/fstab une ligne de type :
UUID=xxxxxxxxxxxxxxxx /home default 0 2 en remplaçant bien entendu les xxxxxxxx par l'UUID de /dev/sda5.
Pour obtenir cet UUID la commande est la suivante :
sudo ls -l /dev/disk/by-uuid
Il faut avant de rebooter passer en root :
sudo -i
puis renommer /home :
mv /home /home.old si ça ne fonctionne pas il faudra alors démarrer en "recovery" -> lancer un terminal root et refaire la commande
puis dans tous les cas recréer le point de montage :
mkdir /home
et enfin rebooter.
Attention vérifies bien avant que l'user actuel du système porte le même nom que celui présent sur la partition /dev/sda5.
Sinon il faut avant de rebooter et toujours en root le recréer :
adduser nom_user puis répondre aux questions.
et le définir comme admin :
adduser nom_user admin
Ensuite si tout fonctionne bien tu pourras supprimer le dossier /home.old
@+
Pages : 1