diff options
| author | Silvio Rhatto <rhatto@riseup.net> | 2017-09-20 17:55:20 -0300 |
|---|---|---|
| committer | Silvio Rhatto <rhatto@riseup.net> | 2017-09-20 17:55:20 -0300 |
| commit | 749b5fcb62aa0db077e3904481bbfac79c85ee2c (patch) | |
| tree | 44cba69189065dd41de2f06d017c051dfebfed59 /bin | |
| parent | 30ccbeabef0d671d5b4264fbff392153dd56b7a4 (diff) | |
| download | debian-749b5fcb62aa0db077e3904481bbfac79c85ee2c.tar.gz debian-749b5fcb62aa0db077e3904481bbfac79c85ee2c.tar.bz2 | |
TODO cleanup
Diffstat (limited to 'bin')
| -rwxr-xr-x | bin/debian-dev-setup | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/bin/debian-dev-setup b/bin/debian-dev-setup index 41f02a1..f6c5236 100755 --- a/bin/debian-dev-setup +++ b/bin/debian-dev-setup @@ -3,6 +3,9 @@ # Setup development environment. # +# Default provisioner +/vagrant/puppet/bin/provision + # Parameter PACKAGES="/var/data/apps/distros/debian/packages" |