boot2docker のディスク領域がいっぱいになってしまったので、ディスク領域を拡張することにした。コマンドで全部できるかなと思ってたんだけど、なんか簡単にできそうな記事が見つからなかったので GPatedというGUIのディスクユーティリティを使うことにし…