summaryrefslogtreecommitdiff
path: root/bin/debian-dev-setup
diff options
context:
space:
mode:
authorSilvio Rhatto <rhatto@riseup.net>2017-10-23 19:41:19 -0200
committerSilvio Rhatto <rhatto@riseup.net>2017-10-23 19:41:19 -0200
commitc7852271dccf24468b35743648855ebe94bfb34e (patch)
tree198a5d0b8228011713bfa1901696e04c34cae8e2 /bin/debian-dev-setup
parent99798e89a45a9f411ed3c146accd716a60ac3200 (diff)
downloaddebian-c7852271dccf24468b35743648855ebe94bfb34e.tar.gz
debian-c7852271dccf24468b35743648855ebe94bfb34e.tar.bz2
Support for kvmx at bin/debian-dev-setup
Diffstat (limited to 'bin/debian-dev-setup')
-rwxr-xr-xbin/debian-dev-setup6
1 files changed, 5 insertions, 1 deletions
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"