diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2017-10-24 09:23:02 -0200 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2017-10-24 09:23:02 -0200 |
| commit | 2c61cfc7f752e8968f4de31c3fb57d61d128b94d (patch) | |
| tree | d50c9d7ff014afbbb59e1cba1e2dbd9b1e86ef70 /bin/debian-dev-setup | |
| parent | 725df82411005d7e144bd2119fae747a58cc27f0 (diff) | |
| download | debian-2c61cfc7f752e8968f4de31c3fb57d61d128b94d.tar.gz debian-2c61cfc7f752e8968f4de31c3fb57d61d128b94d.tar.bz2 | |
Fix puppet provisioning
Diffstat (limited to 'bin/debian-dev-setup')
| -rwxr-xr-x | bin/debian-dev-setup | 6 |
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 |