chiark / gitweb /
Merge branch 'support-vagrant-cachier' into 'master'
authorHans-Christoph Steiner <hans@guardianproject.info>
Wed, 26 Aug 2015 12:44:36 +0000 (12:44 +0000)
committerHans-Christoph Steiner <hans@guardianproject.info>
Wed, 26 Aug 2015 12:44:36 +0000 (12:44 +0000)
commit99d0c55fe95a354bb1ba468339cec468a9c226b5
treeadaa7f1e593390185631a8005ac1863729b518a3
parente88816bbe30e8f82f9a78caa28a1584ad463329a
parent57c6deff01156a3674d541d6c6a1f7efd18ee9b7
Merge branch 'support-vagrant-cachier' into 'master'

Add optional support for vagrant-cachier plugin

Building the basebox is excruciating for people on slow connections. I'm particularly sensitive to this after living in Central America for awhile :)

This won't affect anyone who hasn't installed the plugin. For those who do, it creates a persistent shared folder for each box (ie. testing23.box) and detects directories to cache between VM builds (apt, gems, pip, chef cache, etc.)

(The only downside is that, for those following server setup does who are not aware what vagrant-cachier does, it might be unexpected that artifacts persist between vagrant destroys.)

See merge request !25
docs/fdroid.texi
makebuildserver