2019-12-16 パーティションの容量増やすには gdisk などで今のパーティションを消して、新規パーティションとして切り直す。 壊れる可能性もある。これだけだとファイルシステム的には容量が増えたことをよしなにしてはくれない。 # resize2fs /dev/hogehogeこれでいっぱいディスクを使える。めでたい