On Thu, Dec 21, 2006 at 10:00:05AM -0800, tom arnall wrote: > [EMAIL PROTECTED]:~$ fnd apt_preferences > /usr/share/man/es/man5/apt_preferences.5.gz > /usr/share/man/fr/man5/apt_preferences.5.gz > /usr/share/man/man5/apt_preferences.5.gz > /usr/share/man/pt_BR/man5/apt_preferences.5.gz > /usr/share/apt-listbugs/debian/apt_preferences.rb > > i.e., i don't have an apt_preferences.
I don't think you should. man apt_preferences refers to the file /etc/apt/preferences which AFAIK is used for pinning. Regards, Andrei -- If you can't explain it simply, you don't understand it well enough. (Albert Einstein) -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
