summaryrefslogtreecommitdiff
path: root/provisioning/manifests
AgeCommit message (Collapse)Author
2017-05-24Remove pixelated apt repo and deb vagrant boxvarac
2016-02-09Refactor vagrant provisioning scriptsvarac
so we can use the 'debian.pp' manifest to install the requirements for setting up the useragent in a non-vagrant env.
2015-04-28Removed hackday vagrant while cleaning up the vagrantfileBruno Wagner
2015-02-12Use wheezy for vagrant source box #272varac
2015-02-11(Re-)added auto setup of vagrant ssh.Folker Bernitt
- Issues #282, #252
2015-01-28make the vagrant box smallerChristoph Kluenter
we dd everything with zeroes. Then the disk can be made sparse. The image is 100M smaller now. Fixes #253
2015-01-19added Vagrantfile and provision scriptsvarac
- use leap jessie boxes for now - remove rng-tools hack that speeded up key generation from Vagrant provisioning we don't want to generate weak keys, even when it takes longer - set source box as default for 'vagrant up' - properly override vm.box_url for different providers