Redimensionner partition /tmp

Bonsoir @genesis et @ljg ,

A l’époque j’avais eu le même genre de souci avec rootfs.

J’avais utilisé Gparted en live-usb pour réduire une partition, ensuite déplacer les partitions nécessaires, puis agrandir la partition.
Quelque soit la solution envisagée ou la méthode choisie : faire une sauvegarde :wink:

ppr