Ich wollte gestern meine Root-Partition kleiner machen und dafür die
danachfolgende /home Partition vergrößern. Leider kann GParted das
anscheinend nicht, wenn die zweite Partition per dm-crypt verschlüsselt
ist; vermutlich war die Version, die ich angeschaut habe, auch einfach zu
alt. Also musste ein Script ran. Nachdem ich erst einmal erfolgreich 100
Cylinder durch Dummheit zerlegt habe (man sollte so etwas nicht machen,
wenn man müde ist) hab' ich's dann sauber hinbekommen.
Für den Fall, dass jemand anderes mal in die Situation kommt, habe ich das Script sauber dokumentiert und als GIST bei Github hochgeladen. Also viel Spaß beim Partitionen verschieben.
Eine kleine Anmerkung: Gerade so ein Script sollte man nie ausführen, ohne es eingehend studiert zu haben! Also, lieber Finder, durchlesen ;-)