Suggest a safe workaround for installing Vagrant.
commit8fa191061221f8bb521573ac8b7871e8145fa0fa
authorTails developers <amnesia@boum.org>
Mon, 1 Dec 2014 11:54:12 +0000 (1 12:54 +0100)
committerTails developers <amnesia@boum.org>
Mon, 1 Dec 2014 12:11:50 +0000 (1 13:11 +0100)
tree3d9f36946fecd68b29cc2cc10c3e9ba46ecf1d67
parent836f45b920af8130348d841f25be0976bd405368
Suggest a safe workaround for installing Vagrant.

While we're at it, provide code that can be copy-pasted for the "add
sources/pinning" instructions, to make the setup even easier. We also
fix the sections so it's clearer what should be done for each
supported Debian release.
wiki/src/contribute/build.mdwn