diff options
Diffstat (limited to 'dev')
| -rw-r--r-- | dev/vagrant/Vagrantfile | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/dev/vagrant/Vagrantfile b/dev/vagrant/Vagrantfile index 6ade605fb..1daa8f2ab 100644 --- a/dev/vagrant/Vagrantfile +++ b/dev/vagrant/Vagrantfile @@ -149,8 +149,7 @@ Vagrant.configure(2) do |config| if vm.name `python newest_dhcp_lease.py #{vm.name}`.chop end - when "virtualbox_ubuntu" - when "virtualbox_centos" + when "virtualbox" if vm.id `VBoxManage guestproperty get #{vm.id} "/VirtualBox/GuestInfo/Net/1/V4/IP"`.split()[1] end |