Bug#910143: cloud.debian.org: Increase vagrant disk size
Vagrant base boxes apparently use a maximum disk size of 10G.
OTOH the chosen format of the virtual disks does not allow to increase the size (VBoxManage refuses to do so).
It's probably not helpful to point out in detail why *WE* would need a larger HD, but I could do so if you need arguments.
But in general, 10G is not that large anymore today. And there's probably no real reason to keep it, since the HardDisk
seems to grow dynamically as needed anyway.
I would suggest to increase the size to 20G. While doing that, maybe there's a way to change the format of VHD,
such that anyone that needs an even larger HD may do that.
-- System Information:
Debian Release: 9.5
APT prefers stable
APT policy: (500, 'stable')
Architecture: amd64 (x86_64)
Kernel: Linux 4.9.0-7-amd64 (SMP w/4 CPU cores)
Locale: LANG=en_US.UTF-8, LC_CTYPE=en_US.UTF-8 (charmap=UTF-8), LANGUAGE=en_US.UTF-8 (charmap=UTF-8)
Shell: /bin/sh linked to /bin/dash
Init: systemd (via /run/systemd/system)