meine EFI-System-Partition ist vollgelaufen und ich wollte sie
vergrößern.
Ich habe hinter der Partition mit GParted etwas platz geschaffen und
den freien Platz dann der EFI-Partition zugewiesen.
Das hat aber nicht ganz geklappt.
GParted sagt:
/"502.94 MiB nicht zugeteilter Speicherplatz innerhalb der Partition./
/Um das Dateisystem auf die Größe der Partition zu vergrößern, wählen
Sie die Partition und anschließend den Menüeintrag:/
/Partition --> Prüfen"./
Die Prüfung ergibt
/"libparted wird verwendet/
/libparted-Benachrichtigungen ( FEHLER )/
//
/GNU Parted cannot resize this partition to this size. We're working
on it!"/