From 2c61cfc7f752e8968f4de31c3fb57d61d128b94d Mon Sep 17 00:00:00 2001 From: Silvio Rhatto Date: Tue, 24 Oct 2017 09:23:02 -0200 Subject: Fix puppet provisioning --- bin/debian-dev-setup | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) (limited to 'bin') 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 -- cgit v1.2.3