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 | | steve@lobefin.net | three hamburgers? A: Because he was | | http://www.lobefin.net/~steve | hungry. | --------------------------------------------------------------------------
Attachment:
pgpi0Hh627p8v.pgp
Description: PGP signature