hi,
Kill Your TV wrote (02 Dec 2014 20:49:59 GMT) :
> Perhaps apply the following?
[...]
> - sudo tee /etc/apt/preferences.d/vagrant-1.4.3 <<EOF
> + sudo tee /etc/apt/preferences.d/vagrant-143 <<EOF
I would even drop the version number from the filename: it'll only be
more painful e.g. if we want to update this piece of doc to, say,
Vagrant 1.4.5 (we would need to tell people to remove
vagrant-$VERSION, and then create another file, or something).
I propose /etc/apt/preferences.d/tails-build-vagrant.
Cheers!
