pixelated-user-agent.git/provisioning/manifests, branch master

Remove pixelated apt repo and deb vagrant box

2017-05-24T08:45:42+00:00

Refactor vagrant provisioning scripts

2016-02-09T14:47:49+00:00

so we can use the 'debian.pp' manifest to install
the requirements for setting up the useragent in a
non-vagrant env.

Removed hackday vagrant while cleaning up the vagrantfile

2015-04-28T17:15:46+00:00

Use wheezy for vagrant source box #272

2015-02-12T13:31:03+00:00

(Re-)added auto setup of vagrant ssh.

2015-02-11T09:39:53+00:00

- Issues #282, #252

make the vagrant box smaller

2015-01-28T08:23:38+00:00

we dd everything with zeroes. Then the disk can be made
sparse.
The image is 100M smaller now.
Fixes #253

added Vagrantfile and provision scripts

2015-01-19T09:35:17+00:00

- 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