Forum Linux.debian/ubuntu Modifier taille partition /

Posté par  . Licence CC By‑SA.
Étiquettes :
1
4
juil.
2015

Bonjour,

J'ai installé Debian y a quelques temps sur ma machine et après avoir l'avoir fait, je me suis rendu compte que j'ai laissé la partition / seulement à 10 Go !

Est-il possible de diminuer en toute sécurité la partition /home puis d'augmenter la taille de la partition / par la suite, sans rien perdre bien évidement ?

Voici la liste des disques et partitions ;

    Sys. de fichiers Taille Utilisé Dispo Uti% Monté sur
    udev                10M       0   10M   0% /dev
    tmpfs              767M    9,4M  758M   2% /run
    /dev/sda1          9,1G    8,1G  571M  94% /
    tmpfs              1,9G    1,5M  1,9G   1% /dev/shm
    tmpfs              5,0M    4,0K  5,0M   1% /run/lock
    tmpfs              1,9G       0  1,9G   0% /sys/fs/cgroup
    /dev/sda6          442G     16G  404G   4% /home
    tmpfs              384M    8,0K  384M   1% /run/user/119
    tmpfs              384M     56K  384M   1% /run/user/1000
    /dev/sdb1          699G     56G  644G   8% /media/red/RED STOCK

  • # Déplacer /

    Posté par  . Évalué à 6.

    Avec la liste que tu nous donnes, on ne peut pas voir si / et /home sont contiguës. Pour cela, il aurait fallu nous donner le résultat de la commande # fdisk -l.
    Mais vu que tu n'as que deux partition, on va supposer qu'elles le sont. La réponse à ta question est alors non. Il n'est pas possible d'augmenter la taille de / puisque /home est juste derrière.

    Ce que tu peux faire, c'est diminuer la taille de /home et déplacer / vers ce nouvel emplacement. Mais ATTENTION, il te faudra alors modifier les paramètres de grub et /etc/fstab. Sinon, tu ne pourras plus démarrer ton système.

    Si tu es novice, je te conseille plutôt de diminuer la taille de /home et de créer un partition pour y déplacer le répertoire /var. Là il ne te faudra juste rajouter une entrée dans /etc/fstab pour monter /var au démarrage.

  • # tout est possible ou presque

    Posté par  (site web personnel) . Évalué à 1.

    Faut voir le partitionnement réel.

    Au pire tu inverses le / et /home ça fera 6Go en plus.

    Avec un disque de sauvegarde sinon faut être joueur parfois ça se passe mal.

    Système - Réseau - Sécurité Open Source - Ouvert à de nouvelles opportunités

  • # Parted

    Posté par  . Évalué à 4.

    Ma recommandation serait de partir sur un CD (ou clé USB) de récupération et qui inclut parted, ou gparted pour avoir une interface graphique.

    Une sauvegarde est vivement conseillée avant toute opération dangereuse.

  • # C'est possible de faire quelque chose si les partitions sont contigues.

    Posté par  . Évalué à 4.

    1/ copier tout le contenu de /home sur le second disque
    2/ Supprimer sda6
    3/ via fdisk, supprimer et recréer ta partition sda1 à la bonne taille (fdisk n'écrit rien sur les partitons) , mais en prenant garde à ce que les blocks de début soit bien identiques à ce qui existait avant.
    4/ étendre / via resize2fs
    5/ recréer /home sur l'espace restant (plus petit maintenant) via fdisk ou gparted
    6/ recopier les données

    Si tes partitions ne sont pas contigues et qu'il y a une partition de swap, vire le swap également, puis recrée-le.

    Dans tout les cas, fait une sauvegarde …

    Mais quitte à tout sauvegarder, à ta place je recommencerais une installation avec LVM,

  • # gparted

    Posté par  . Évalué à 3.

    Je pense que devrais pouvoir retailler les partitions comme tu le souhaites avec gparted. Il faut le lancer depuis livecd ou une clé usb car gparted ne travaille qu'avec des partitions non-montées.
    Ce n'est pas du tout risqué, mais il vaut mieux quand même faire une sauvegarde. Par exemple sur /dev/sdb1

    http://gparted.org/livecd.php

    Comme tu as utilisé /dev/sda6 (partition logique) pour /home, j'imagine que tu as utilisé le partitionnement automatique de l'installeur Debian, et donc il faudra que tu déplaces aussi le swap et /dev/sda4 pour arriver à tes fins.

    Mais gparted est un outil graphique facile à utiliser et tu devrais t'en sortir.

    J'ai déjà fait la même chose sur mon ordinateur, mais en plus simple car /home était sur /dev/sda3 (partition primaire) au lieu de /dev/sda6 (partition logique). Tout s'était très bien passé.

  • # Possibilités ...

    Posté par  . Évalué à 2.

    2 possibilités :

    1) prendre une clef usb bootable contenant gparted pour redimensionner les partitions
    à votre convenance. Mieux vaut faire une sauvegarde de vos données avant …

    2) déplacer un ou plusieurs dossiers de / vers /home et positionner un lien à la place.
    par exemple déplacer /opt vers /home/opt (cd / && mv /opt /home/ && ln /home/opt)
    Attention y a des dossiers qui doivent rester sur / …

    Pour ma part, j'utilise lvm dès l'installation de debian et je n'affecte à chaque lv
    (ROOT, HOME, SWAP) que l'espace nécessaire (ne pas affecter tout l'espace du vg)
    sachant qu'on peut à tout moment et à chaud augmenter la taille d'un LV et
    redimensionner en conséquence le fs sous-jacent.

  • # on est en 2015...

    Posté par  . Évalué à 3.

    lvm lors de la prochaine installation…

    • [^] # Re: on est en 2015...

      Posté par  . Évalué à 1.

      Perso, LVM, je trouve ça, une complication inutile.
      A la maison, je mets tout dans une seule partition.
      Et au boulot, je trouve les inconvénients plus grands que les avantages. Ce qui m'ennuie le plus avec LVM, c'est lorsqu'il faut remonter une partition à la main. LVM + ext4 + cryptsetup : c'est trop pour moi. En situation de crise, pour moi plus c'est simple mieux c'est.

  • # OK

    Posté par  . Évalué à 4.

    Merci pour votre aide les gars. Du coup j'ai booté sur un liveUSB Gparted et j'ai réussi a faire ma soupe. Donc c'est tout bon, merci bien :)

Suivre le flux des commentaires

Note : les commentaires appartiennent à celles et ceux qui les ont postés. Nous n’en sommes pas responsables.