パーティションのサイズを変更するには

GNU Partedなんてのがあるのか。ふ〜ん、メモメモ。
GNU Partedを実行している Linux がインストールされているパーティションは分割できないらしいので、そういった場合には、「GNU Parted専用のブートディスクを作成するには」という手があるようだ。