vagrantの容量を増やす方法
vagrantは初期状態ではディスクは10GB割り当てられています。この容量をあとから増やすことができます。こちらを参考にさせてもらいました。 qiita.com
ただうちの環境では、これだけだとうまくいかなかった。どうやら、ゲストOS上でディスクを拡張しないとダメみたい。 fdisk /dev/sda
以降のコマンドを実行してパーティションを拡張します。
これで、/
以下の容量が増えるはず。共有フォルダを使うって手もありますがVirtualBox内で完結させたいときはこの方法が良さそうです。