summaryrefslogtreecommitdiff
path: root/bin
diff options
context:
space:
mode:
authorSilvio Rhatto <rhatto@riseup.net>2017-10-24 09:23:02 -0200
committerSilvio Rhatto <rhatto@riseup.net>2017-10-24 09:23:02 -0200
commit2c61cfc7f752e8968f4de31c3fb57d61d128b94d (patch)
treed50c9d7ff014afbbb59e1cba1e2dbd9b1e86ef70 /bin
parent725df82411005d7e144bd2119fae747a58cc27f0 (diff)
downloaddebian-2c61cfc7f752e8968f4de31c3fb57d61d128b94d.tar.gz
debian-2c61cfc7f752e8968f4de31c3fb57d61d128b94d.tar.bz2
Fix puppet provisioning
Diffstat (limited to 'bin')
-rwxr-xr-xbin/debian-dev-setup6
1 files changed, 4 insertions, 2 deletions
diff --git a/bin/debian-dev-setup b/bin/debian-dev-setup
index 5e56385..7162b07 100755
--- a/bin/debian-dev-setup
+++ b/bin/debian-dev-setup
@@ -6,10 +6,12 @@
# Default provisioner
if [ -x "/vagrant/puppet/bin/provision" ]; then
/vagrant/puppet/bin/provision
- /vagrant/puppet/bin/deploy
elif [ -x "/home/user/code/debian/puppet/bin/provision" ]; then
/home/user/code/debian/puppet/bin/provision
- /home/user/code/debian/puppet/bin/deploy
+fi
+
+if [ -x "/etc/puppet/bin/deploy" ]; then
+ /etc/puppet/bin/deploy
fi
# Parameter