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.

Too late! Nachdem im Mintforum, bei dem ich mir diese Hilfe erhoft hatte, nur der Sinn von Fastboot bezweifelt wurde und rumgealbert wurde, habe ich das System neu aufgesetzt.

Er bootet jetzt fast ! Ohne ~26s und mit ~19s bis zum Startbildschirm.

Ich habe in "cfdisk" diesmal die Option EFI-FAT genommen. Und mit:
die ID gesetzt.

Wie gut oder sinnvoll die Anleitung ist kann ich nicht beurteilen, ich bin recht froh ueber die 7s Zeitvorteil und habe wieder ein wenig gelernt.

Danke Euch
Matthias

P.S:Ich habe fuer die 32GB 34Euro bezahlt. Ich nehme mal an das die Preise noch fallen werden, Supertalent hat da wohl etwas grosszuegig gefertigt, Alternate hat von der 32GB noch 72 Stueck. Auch die Groesseren scheinen noch "ausreichend" da zu sein.