Commit 3a0a8581 authored by Tails developers's avatar Tails developers
Browse files

Use a /etc/apt/preferences.d-compatible name.

parent bdb556e7
......@@ -73,7 +73,7 @@ At the moment Tails relies on a version of Vagrant (the 1.4.x series)
that is not packaged in Debian any more. Here's a workaround for both
Debian Wheezy and Jessie:
sudo tee /etc/apt/preferences.d/vagrant-1.4.3 <<EOF
sudo tee /etc/apt/preferences.d/tails-build-vagrant <<EOF
Package: vagrant
Pin: version 1.4.3+dfsg1-3
Pin-Priority: 550
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment