summaryrefslogtreecommitdiff
path: root/bin/debian-dev-setup
diff options
context:
space:
mode:
authorSilvio Rhatto <rhatto@riseup.net>2017-09-20 17:55:20 -0300
committerSilvio Rhatto <rhatto@riseup.net>2017-09-20 17:55:20 -0300
commit749b5fcb62aa0db077e3904481bbfac79c85ee2c (patch)
tree44cba69189065dd41de2f06d017c051dfebfed59 /bin/debian-dev-setup
parent30ccbeabef0d671d5b4264fbff392153dd56b7a4 (diff)
downloaddebian-749b5fcb62aa0db077e3904481bbfac79c85ee2c.tar.gz
debian-749b5fcb62aa0db077e3904481bbfac79c85ee2c.tar.bz2
TODO cleanup
Diffstat (limited to 'bin/debian-dev-setup')
-rwxr-xr-xbin/debian-dev-setup3
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"