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