Those are automatically built Vagrant Ubuntu Cloud Images, we have no control over how they were built.
You either build your own vagrant box or 1. resize existing virtual HDD 2. Attach additional virtual HDDs, create file systems and mount it (e.g. /ops and install new stuff in this directory).
Personally I think option 2 is easier.
If you want to go with option 1, you'll have to convert the existing virtual HDD (VMDK) to VDI, because
VBoxManage modifyhd only works with native VDI image. However, vagrant base boxes are basically exported OVF/OVA using VMDK format.
See VirtualBox Docs
The --resize x option (where x is the desired new total space in
megabytes) allows you to change the capacity of an existing image;
this adjusts the logical size of a virtual disk without affecting the
physical size much. This currently works only for VDI and VHD
formats, and only for the dynamically allocated variants, and can only
be used to expand (not shrink) the capacity.
Steps to increase the capacity of disk for Vagrant Base Box
- To be able to resize the HDD, you'll have to covert it to VDI first, e.g.
VBoxManage clonehd in.vmdk out.vdi --format VDI and then re-attached it (using the GUI is easy).
- Resize it using
VBoxManage modifyhd box.vdi --resize 15360 which
increase the capacity to 15GB.
- However this only changes the drive capacity, you will have to grow the file system for the guest afterwards. For example, use
resize2fs -p -F DEVICE for ext4.
Refer to the answer here for more details => How can I increase disk size on a Vagrant VM?