]> gitweb.fluxo.info Git - debian.git/commitdiff
Updates dev setup
authorSilvio Rhatto <rhatto@riseup.net>
Mon, 23 Oct 2017 22:31:30 +0000 (20:31 -0200)
committerSilvio Rhatto <rhatto@riseup.net>
Mon, 23 Oct 2017 22:31:30 +0000 (20:31 -0200)
bin/debian-dev-setup

index cc88ad97305985fc0f6dc86535d0aaf555bca762..5e56385b17f5f5bb9e63799938e24579e9778782 100755 (executable)
@@ -6,12 +6,14 @@
 # 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
 
 # Parameter
-PACKAGES="/var/data/apps/distros/debian/packages"
+PACKAGES="/var/data/distros/debian/packages"
 
 # Required folders
 mkdir -p $PACKAGES