From: Silvio Rhatto <rhatto@riseup.net>
Date: Mon, 23 Oct 2017 21:41:19 +0000 (-0200)
Subject: Support for kvmx at bin/debian-dev-setup
X-Git-Url: https://gitweb.fluxo.info/?a=commitdiff_plain;h=c7852271dccf24468b35743648855ebe94bfb34e;p=debian.git

Support for kvmx at bin/debian-dev-setup
---

diff --git a/bin/debian-dev-setup b/bin/debian-dev-setup
index f6c5236..cc88ad9 100755
--- 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"