diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2017-10-23 19:41:19 -0200 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2017-10-23 19:41:19 -0200 |
| commit | c7852271dccf24468b35743648855ebe94bfb34e (patch) | |
| tree | 198a5d0b8228011713bfa1901696e04c34cae8e2 /bin | |
| parent | 99798e89a45a9f411ed3c146accd716a60ac3200 (diff) | |
| download | debian-c7852271dccf24468b35743648855ebe94bfb34e.tar.gz debian-c7852271dccf24468b35743648855ebe94bfb34e.tar.bz2 | |
Support for kvmx at bin/debian-dev-setup
Diffstat (limited to 'bin')
| -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" |