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! _______________________________________________ Tails-dev mailing list [email protected] https://mailman.boum.org/listinfo/tails-dev To unsubscribe from this list, send an empty email to [email protected].
