Re: give cdrom source more priority in apt-get [lost the original]
This one time, at band camp, andrej hocevar said: > Unfortunately no one has responded to this by now, I too was waiting. > The apt_preferences manpage does mention pinning an origin, but > until now I couldn't succeed. In the Release.gz that comes from each source, you will find the various fields, and origin will be one of them. Use one of the fields there - you'll find origin, archive, label (which is I think what you want to pin on, in this case.) You'll find the Release.gz under /var/lib/apt/lists/ HTH, -- -- | Stephen Gran | Q: Why did the astrophysicist order | | [EMAIL PROTECTED] | three hamburgers? A: Because he was | | http://www.lobefin.net/~steve | hungry. | -- msg27185/pgp0.pgp Description: PGP signature
Re: give cdrom source more priority in apt-get [lost the original]
Unfortunately no one has responded to this by now, I too was waiting.
The apt_preferences manpage does mention pinning an origin, but
until now I couldn't succeed.
My less attractive alternative was to add all packages on my CDs into
my preferences file. What I got was an unreasonably long file,
produced by this one-liner:
perl -ne 'print if /^Package:/ or s/^Version: (.+)/Pin: version $1\n/;'
You have to supply an argument: list of files. Maybe that can vary, I
don't know, on my system it was "/var/lib/apt/lists/D*", in contrast
to "/var/lib/apt/lists/f*" for ftp. Take a look at the files there
and redirect the output to your new preferences file.
andrej
--
echo ${girl_name} > /etc/dumpdates
--
To UNSUBSCRIBE, email to [EMAIL PROTECTED]
with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
