パーティションのサイズを変更する
パーティションのサイズを変更する
経緯
Raspberry PiをUSB接続のSSDからブートさせるためにSD Card Copierを使ってmicroSDからSSDにファイルをコピーしたところ、/bootが数百MB、残りすべてがrootになっていた。 /homeは別パーティションにしたかったので、パーティションのサイズを変更してスペースを空けたい。
結論
gpartedを使うのが楽。
GUI上でパーティションサイズを変更し、適用するだけで済む。
失敗した方法
手動でe2fsck、resize2fs、partedを使って失敗した。gpartedも内部でやっていることは同じなので、私がミスしただけだと思う。