Debian/Ubuntu: Elargissement d'une partition

La raison pour laquelle j'ai décidé d'agrandir la partition / est que l'espace que je lui ai alloué (5Go) est devenu insuffisant. Il est à noter que j'ai deux partitions sur mon disque dur: une partition racine et l'autre pour /home.

La commande pour vérifier l'espace utilisée/libre sur le disque (-h affiche une valeur compréhensible par les humains - en K, M, G)

df -h 

Pour afficher les informations de chaque répertoire dans la partition /, puisque je suis curieux de savoir quel dossier est à l'origine de mon problème

# cd /

# du -hcx --max-depth=1

0    /dev
12K    /media
4.0K    /home
144K    /root
4.7M    /lib32
3.4G    /usr
4.0K    /srv
0    /run
52K    /tmp
4.0K    /lib64
9.0M    /etc
4.0K    /selinux
6.2M    /bin
217M    /lib
2.7G    /var
32M    /boot
30M    /opt
0    /sys
5.7M    /sbin
16K    /lost+found
4.0K    /mnt
0    /proc
6.3G    /
6.3G    total


-c affiche la somme totale de l'espace utilisée par les dossiers sans compter les fichiers

-x n'affiche que les informations sur les fichiers dans la partition où je me trouve

--max-depth=1 n'affiche que les dossiers sans les sous-dossiers

Sauvegarder la partion /home sur un disque dur externe par exemple

cp -av /home /media/<disque-dur-externe>

Redemarrer l'ordinateur avec un live cd puis lancer gparted

Désactiver le swap, en cliquant avec le bouton de droite puis sélectionner "swapoff". Cette manipulation va permettre de débloquer les partitions à modifier, puisqu'une modification de cette dernière n'est pas autorisée. Vous pouvez remarquer qu'il y a une clé qui protège la modification des partitions dans gparted.

Après avoir effectuer les modifications sur la ou les partitions, valider cette modification (celà peut prendre du temps, en fonction de la taille des partitions à modifier). Réactiver le Swap, et finalement redémarrer le système.

Sources
FAQ: Swap
Linux Add a Swap File – Howto
Sauvegarder son dossier utilisateur
GParted : éditeur de partitions