Il est possible de redimensionner les partitions avec gparted (gestionnaire de partitions de Gnome).
D'après mon coup d'oeil rapide, tu as une partition /dev/sda1 de 20 Gio sur un disque de 28 Gio, donc il semble y avoir 8 Gio inutilisés à récupérer.
# gparted
Posté par vmagnin (site web personnel, Mastodon) . En réponse au message augmentation espace disque ?. Évalué à 5.
Il est possible de redimensionner les partitions avec gparted (gestionnaire de partitions de Gnome).
D'après mon coup d'oeil rapide, tu as une partition /dev/sda1 de 20 Gio sur un disque de 28 Gio, donc il semble y avoir 8 Gio inutilisés à récupérer.