Support for kvmx at bin/debian-dev-setup

diff --git a/bin/debian-dev-setup b/bin/debian-dev-setup
index f6c5236c10f51b9f3121e7727e0c6b7ec15dc7fa..cc88ad97305985fc0f6dc86535d0aaf555bca762 100755 (executable)
--- a/bin/debian-dev-setup
+++ b/bin/debian-dev-setup
@@ -4,7 +4,11 @@
 #
 
 # Default provisioner
-/vagrant/puppet/bin/provision
+if [ -x "/vagrant/puppet/bin/provision" ]; then
+  /vagrant/puppet/bin/provision
+elif [ -x "/home/user/code/debian/puppet/bin/provision" ]; then
+  /home/user/code/debian/puppet/bin/provision
+fi
 
 # Parameter
 PACKAGES="/var/data/apps/distros/debian/packages"