git clone https://github.com/htrc/HTRC-DevEnvironment.git sudo apt-get install linux-headers-$(uname -r) sudo apt-get install virtualbox # Make sure doesn't end in error (could be linux kernel heads not present) sudo apt-get install vagrant ... vboxmanage setproperty machinefolder /disk10/HTRC-DevEnvironment--VirtualBox-VMs/ export VAGRANT_HOME=`pwd`/vagrant.d ls $VAGRANT_HOME/ # Conflict over dhcp server in VirtualBox already, and what vagrant provisioning is looking to do VBoxManage dhcpserver remove --netname HostInterfaceNetworking-vboxnet0