severity 594435 minor thanks On Do, 2010-08-26 at 01:38 +0100, Ben Hutchings wrote: > Package: apt > Version: 0.7.25.3 > Severity: important > > The *only* example of pinning by origin in apt_preferences(5) is: > > Package: * > Pin: origin "" > Pin-Priority: 999 > > This implies that strings can be double-quoted and that an empty > string must be. In fact, double-quoted strings do not match their > contents; the quote characters are presumably treated literally. Not really. It only applies to empty strings which can not be represented otherwise in a meaningful way; for example, specifying no value would be invalid (or should be, I did not try it).
I personally do not want quoting here, as it just complicates parsing and breaks backwards compatibility. The documentation could state explicitly that quotes are not supported; but this is purely a documentation issue, and thus minor (it may also break translations of the manpage). -- Julian Andres Klode - Debian Developer, Ubuntu Member See http://wiki.debian.org/JulianAndresKlode and http://jak-linux.org/. -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
