VirtualBox and Vagrant for Mac

Oracle VirtualBox for Mac

Go to: https://www.virtualbox.org/wiki/Downloads

Don't install VirtualBox 6.0.10 because of this git-related bug:
https://github.com/hashicorp/vagrant/issues/10913

VirtualBox 6.0.12 platform

In the section "VirtualBox 6.0.12 platform packages":

Download and install https://download.virtualbox.org/virtualbox/6.0.12/VirtualBox-6.0.12-133076-OSX.dmg

Check if you need Extension Pack

In the section "VirtualBox 6.0.12 Oracle VM VirtualBox Extension Pack"

Check this page to see if you will need it:
https://www.virtualbox.org/manual/ch01.html#intro-installing

If you need it:

Check VirtualBox version

In a terminal:

vboxmanage --version

Vagrant for Mac

Go to: https://www.vagrantup.com/downloads.html

Vagrant 2.2.5 macOS 64-bit version

Download https://releases.hashicorp.com/vagrant/2.2.5/vagrant_2.2.5_x86_64.dmg

Install it.

Install VirtualBox Guest Additions Vagrant plugin

https://github.com/dotless-de/vagrant-vbguest

vagrant-vbguest is a Vagrant plugin which automatically installs the host's VirtualBox Guest Additions on the guest system.

vagrant plugin update
vagrant plugin install vagrant-vbguest

Ready

Ready to vagrant up --provision from your Vagrantfile.