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 29/12/2005, à 21: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, à 01:24)

Hors ligne

#2 Le 29/12/2005, à 21: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, à 22: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, à 22: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, à 23:14

mr_pouit

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

sbrunner a écrit :

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 lol ), 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 30/12/2005, à 00:33

Frór

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

Effectivement, ça fonctionne déjà bien mieux smile Merci beaucoup

Hors ligne

#7 Le 30/12/2005, à 01: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 big_smile


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, à 11: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 wink 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, à 11:32)

Hors ligne

#9 Le 30/12/2005, à 11:46

gpocentek

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

Ca doit pouvoir fonctionner pour tout.

Hors ligne

#10 Le 30/12/2005, à 12:15

sbrunner

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

forficule a écrit :

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 wink 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' cool

PS pou Frór : désoler pour la mauvaise info sad
Personnellement j'utilise plutôt un 'rsync -av' (gère également les mise à jours) wink

Hors ligne

#11 Le 12/06/2008, à 18: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, à 20: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, à 02:33)

#13 Le 12/06/2008, à 21: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, à 22: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, à 08:22

cep

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

Mazel a écrit :

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, à 21: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, à 23: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, à 15: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, à 16: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 :

capturemountmanager026.png
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, à 16: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, à 16:37)

#21 Le 30/07/2010, à 17: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, à 09: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, à 23: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, à 23:26

Compte anonymisé

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

coban a écrit :

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

@+