Disk size is too small (9.7G)

[kkdrz]

Hey,
I've just created a vagrant box from the latest code.
Unfortunately, the disk size in the virtual machine is too small.
I know it can be fixed using a vagrant-disksize plugin, but shouldn't the size be larger out-of-the-box?

The problem does not occur when building a machine from the cloud.

df -h # from repo

df -h # from cloud

Am I doing something wrong?

[pascalgrimaud]

I don't use the devbox, but if you know how it can be improved, your contribution is really welcome :)