[Disque dur] redimensionner les partitions (résolu)

[emc]

Bonjour,

j'aimerais pouvoir redimensionner la taille de mes partitions, car je me rend compte que j'ai mal évalué les choses lors de l'installation.
Voici l'organisation de mes partitions (tout en ext3) :

Code : Tout sélectionner

$ df -h
Sys. fich.     Taille Util. Dispo Uti% Monté sur
rootfs            12G  5,9G  5,4G  53% /
/dev            1007M     0 1007M   0% /dev
/run            1008M  204K 1008M   1% /run
/dev/sda3         12G  5,9G  5,4G  53% /
shm             1008M  132K 1008M   1% /dev/shm
tmpfs           1008M   68K 1008M   1% /tmp
/dev/sda1         99M   18M   77M  19% /boot
/dev/sda4        217G  1,9G  204G   1% /home

J'ai 204 Go dans /home tandis que j'en aurais le plus besoin dans /. Ainsi, serait-il possible d'enlever à /home, disons 130 Go, pour les mettre à / ?

Est-ce envisageable et raisonnable de tenter de la faire ou bien dois-je vivre avec ou refaire une installation ? Dans /home, je n'ai pas des choses importantes, ce n'est pas grave si 2 ou 3 fichiers sautent lors d'un éventuel redimensionnement.

Amicalement

[benjarobin]

Hum n'est ce pas un peu excessif de vouloir rajouter 130 Go pour / ? Je ne connais pas ton usage mais avec 20 Go supplémentaire tu es déjà très à l'aise.
Sinon pour redimensionner je te conseil Gparted depuis un liveCD le fournissant : Ubuntu, Gparted lui même...

[emc]

Les applications installées depuis pacman se retrouvent dans /usr/bin le plus souvent. Et j'installe souvent des truc lourd (texlive, urbanterror, sage...) donc 130 Go ça me semble pas mal... Mais bon, peut-être que 80 Go suffiront en fait.
Mais sinon, je pourrais plutôt passer par ma netinstall d'Arch Linux avec cfdisk ou fdisk ? (j'ai la flemme de re-télécharger une autre image iso en fait )

[oktoberfest]

Salut,

tu n'as pas besoin de tout réinstaller, gparted te permettra de faire ce dont tu as besoin.
Si tu as un peu de temps, je te conseille de lire de la doc sur LVM. Si tu l'installes tu diras adieu à tes soucis de redimensionnement.

[benjarobin]

@emc Je te conseil très fortement de passer par Gparted !!! Les outils que tu décrit ne peuvent pas une telle opération, de plus c'est une opération assez complexe en ligne de commande, alors que là tu as une interface graphique très fiable, très simple d'utilisation... Bref, ce n'est qu'un conseil d'une personne qui préfère d'habitude la ligne de commande

@oktoberfest Par contre LVM t’oblige à formater donc soit à sauvegarder l'ensemble, soit à réinstaller

[oktoberfest]

Si on est très joueur on peut tout faire sans réinstaller.
- Sauvegarder /home
- Transformer /dev/sda4 en PV. Construire un VG, et créer les différents LV.
- Copier /dev/sda3 dans un LV.
- Mettre à jour le fstab, l'initramfs et le boot-loader.
- démarrer et prier
- Transformer /dev/sda3 en PV et l'intégrer au VG.

Mais bon, ça reste très sportif comme installation

[onyx67]

Salut,
Je confirme, Gparted est vraiment l'outil idéal pour cela, et très simple à utiliser.
J'ai fait cette opération récemment. Je n'avais que 7,3 Go sur /, j'ai rajouté 13 Go, ce qui suffit amplement.
Attention néanmoins: si ta partition / se trouve à gauche de ~ il faut réduire ~ par la gauche, et non l'inverse.
Il faudra aussi prévoir suffisamment de temps, car c'est très très long (du moins ça l'a été chez moi). Les opérations de réduction/augmentation de taille des partitions sont relativement "courtes", en revanche l'utilitaire va d abord déplacé ton contenu ~ vers la droite par ex, avant de pouvoir réduire sa taille.
En vidant au maximum ton répertoire home (ce que je n'avais pas fait), l'opération devrait être sensiblement plus rapide.
En tout état de cause, une sauvegarde de toutes tes données est in-dis-pen-sable!

EDIT: je n'avais pas vu ton post pour l'utilisation spécifique de /: oui, donc faudra sans doute augmenter d'avantage

[emc]

D'accord, je vais me télécharger une iso Ubuntu et utiliser Gparted pour le faire. onyx67, j'ai même pas 10 trucs dans mon /home, mon installation est tout fraîche donc ça devrait le faire

Mais encore une chose, si vous me conseillez de le faire en liveCD c'est que c'est surement risqué de le faire "à chaud". Mais étant donnée que j'enlève à /home pour rajouter à /, seul mon risque serait de corrompre des fichiers dans /home, non ? Si c'est le cas, je m'en fiche un peu de bousiller les fichiers de mon /home, je n'ai rien d'important encore.

[benjarobin]

Pour faire ce que tu compte faire, il faut que / et /home soit démonté, donc c'est juste impossible sans liveCD

[emc]

A ouais en effet, j'avais pas pensé à ça. Je vais de ce pas essayer d'agrandir mon / et prier. Je vous remercie de vos conseils

Je mets le topic en résolu.

[onyx67]

J'aurai attendu d'avoir fait la manip pour mettre en résolu...mais bon c'est comme tu veux