If you are like me, then you already use Docker as a temporary system, so rebuilding images is not a big deal. In that case, I suggest you do the following:
Add the following to
~/.boot2docker/profile
:
# Disk image size in MB
DiskSize = 40000
This will increase your boot2docker VM to 40GB.What next? Easy: you destroy everything and start from scratch.
boot2docker stop
boot2docker destroy
boot2docker init
boot2docker start