On Mon, 1 Dec 2014 17:38:54 +0000 (UTC)
intrigeri <intrigeri@???> wrote:
> hi,
>
> anonym wrote (01 Dec 2014 12:35:46 GMT) :
> > I think this is better than the current unauthenticated workaround,
> > so I pushed new instructions live. I also pushed some other
> > improvements:
>
> Great!
>
> I think you messed up the <<EOF syntax, though (hmm, untested
> instructions? ;) Should be fixed with commit f231fb1fd.
A problem visible with `apt-cache policy vagrant`
*** 1.4.3+dfsg1-3 0
1 http://snapshot.debian.org/archive/debian/20141010T042049Z/ unstable/main amd64 Packages
100 /var/lib/dpkg/status
N: Ignoring file 'vagrant-1.4.3' in directory '/etc/apt/preferences.d/' as it has an invalid filename extension
Perhaps apply the following?
diff --git a/wiki/src/contribute/build.mdwn b/wiki/src/contribute/build.mdwn
index b3affe8..a042965 100644
--- a/wiki/src/contribute/build.mdwn
+++ b/wiki/src/contribute/build.mdwn
@@ -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/vagrant-143 <<EOF
Package: vagrant
Pin: version 1.4.3+dfsg1-3
Pin-Priority: 550
