The official Vagrantfile contains a configuration for VirtualBox only. How to change it for VMware Workstation?
Vagrantfile