diff options
| -rwxr-xr-x | bin/debian-dev-setup | 6 |
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" |