Resizing Vagrant machine hard drive

I was setting up a site this morning when started seeing this error cannot create temp file for here-document: No space left on device, I couldn't successfully import a database or even cd into any folder on the machine. After trying a few things I found this gist: https://gist.github.com/christopher-hopper/9755310 which successfully helped me fix the issue. In my case …