Page 1 sur 1
[Disque dur] redimensionner les partitions (résolu)
Publié : ven. 24 févr. 2012, 13:48
par 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

Re: [Disque dur] redimensionner les partitions
Publié : ven. 24 févr. 2012, 13:53
par 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...
Re: [Disque dur] redimensionner les partitions
Publié : ven. 24 févr. 2012, 14:01
par 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

)
Re: [Disque dur] redimensionner les partitions
Publié : ven. 24 févr. 2012, 14:21
par 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.
Re: [Disque dur] redimensionner les partitions
Publié : ven. 24 févr. 2012, 14:44
par 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
Re: [Disque dur] redimensionner les partitions
Publié : ven. 24 févr. 2012, 15:30
par 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
Re: [Disque dur] redimensionner les partitions
Publié : ven. 24 févr. 2012, 15:43
par 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
Re: [Disque dur] redimensionner les partitions
Publié : ven. 24 févr. 2012, 17:53
par 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.
Re: [Disque dur] redimensionner les partitions
Publié : ven. 24 févr. 2012, 17:55
par benjarobin
Pour faire ce que tu compte faire, il faut que / et /home soit démonté, donc c'est juste impossible sans liveCD
Re: [Disque dur] redimensionner les partitions
Publié : ven. 24 févr. 2012, 17:57
par 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.
Re: [Disque dur] redimensionner les partitions (résolu)
Publié : ven. 24 févr. 2012, 19:06
par onyx67
J'aurai attendu d'avoir fait la manip pour mettre en résolu...mais bon c'est comme tu veux
