Re: [Tails-dev] Building with Vagrant (doc update)

Delete this message

Reply to this message
Autore: intrigeri
Data:  
To: The Tails public development discussion list
Oggetto: Re: [Tails-dev] Building with Vagrant (doc update)
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!