>>>>> "dm" == Daniel M�ller <[EMAIL PROTECTED]> writes:
dm> In summary, your posting seems to contain two different points: dm> 1. the format of the pin origin being unsufficiently documented and dm> 2. apt downloading an other file than the one listed with the highest dm> priority. 3. changes to sources.list have no effect unless one removes or adds deb lines. In particular one can change the order of entries all one wants, but without removing or adding something, apt-get will not be aware of your changes. dm> Concerning the second: In all your examples, the files on the cdrom and dm> the http mirror were identical (which apt decided using a hash over some dm> header fields in the respective package files). After one of them got dm> selected due to its high priority, apt doesn't care any longer which of dm> them to install, it just uses the first one (which is also the one that dm> is listed first in sources.list). well, then there is no actual "1000 different levels" of priority as we are lead to believe by just staring at the numbers. There is no actual comparison ever of say 515 vs. 530 ... One cannot ever depend on, _all other factors being equal_, comparing priority numbers. It is rather like all students with A automatically get to go on the bus. If there are no A's, then we pick the first B student on the list. Therefore, if this is true, I don't suppose you will get rid of the numbers, but be sure go over this in depth in the docs, as it sure fooled me. -- http://jidanni.org/ Taiwan(04)25854780
