chiark / gitweb /
buildserver: vagrant-cachier conflicts with custom apt cache
authorHans-Christoph Steiner <hans@eds.org>
Tue, 30 Aug 2016 19:23:40 +0000 (21:23 +0200)
committerHans-Christoph Steiner <hans@eds.org>
Mon, 12 Sep 2016 12:58:08 +0000 (14:58 +0200)
commitdc2f53b48c854b40204ff9fbc3cd99381ec4a79c
treee0febb8c80cf30a13f115e84a11d5c8d47cf3c98
parent34f451361fbfc29494edf0de8caaa1ebc195c145
buildserver: vagrant-cachier conflicts with custom apt cache

The technique where /var/cache/apt is mounted as a shared folder conflicts
with vagrant-cachier's workings.  Therefore, ignore vagrant-cachier if the
user selects ./makebuildserver's custom apt cache.  The shared folder way
has the advantage for CI builds of storing the cache outside of
VAGRANT_HOME, which is set to be in the git project.  That gets wiped by
`git clean -fdx` on each CI build.
buildserver/Vagrantfile