On 02/12/14 23:38, intrigeri wrote:
> 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.
Fixed!
Cheers!
