Moin,
die Anleitung ist ja ... einfach Mist. Warum wird da mit zig Programmen gearbeitet, doppelte Schritte, keine Ahnung von grundlegenden Begriffen wie "formatting partition" (da wird nichts formatiert), da wird auch nicht "benannt". Es geht schlicht drum, die Partition mit einer ID Kennung zu versehen, die "EF" oder besser 0xEF lautet. Die Partition ist auch KEINE EFI-Partition (es geht nur um das ID Label).
Das ganze hättest Du auch rein mit dem normalen "fdisk" machen können. Was soll der Unfug mit allen möglichen anderen "...disk"? Warum muß man immer gparted nehmen?
Nach dem Verkleinern der Partition, MUSS man erstmal das Dateisystem verkleinern, mit dem passenden prog (resize2fs oder ähnlichem, je nachdem welches Dateisystem Du nutzt [ext2/3/4, reiserfs oder so], dann sollte man diese logischerweise einem fschk zuführen. Ggf. hast Du Dir da noch anderes "verhauen".
Eine einigermaßen brauchbare (!) Anleitung hättest Du hier gefunden:
ubuntuusers.de: Dateisystemgröße ändern
DANACH kommt dann erst das Verkleinern der Partition ....
Theoretisch macht das zwar Gparted alles "automatisch" .... ich verlasse mich da im Zweifel ungern drauf.
Laß halt mal von der gebooteten Puppy oder so ein fschk über die sda1 laufen.
! Ohne ~26s und mit ~19s bis zum Startbildschirm.