At 12.01.2006 15:00, Norbert Tretkowski wrote:
>* Hans Spath wrote:
> > Was ist jetzt falsch?
>
>Aus welchem Grund auch immer, scheint das nicht zu greifen. Kann es
>sein, dass o= (Origin) sich nur auf den Hostnamen auswirkt, und das
>nicht geht weil packages.dotdeb.org != dotdeb.pimpmylinux.org?

Wenn ich das richtig begriffen habe, dann geht er 
bei "Pin: origin [...]" auf den Host los und bei 
"Pin: release o=[...]" auf die Origin-Zeile im 
Release-File. Außerdem sieht die andere Policy 
für * mit 99 ja genau so aus und die scheint ja zu greifen...

Um sicher zu gehen, habe ich alle Pin-Zeilen mal 
auf "Pin: release l=packages.dotdeb.org" und 
danach auf "Pin: origin dotdeb.pimpmylinux.org" 
geändert... gleiches Ergebnis. Es scheint, als 
hätte "Package: *" + "Pin-Priority: 99" Vorrang 
vor "Package: [Paket-Name]" + "Pin-Priority: 999"... aber wieso?

Hast du vielleicht noch einen anderen Ansatz, wie 
ich das gewünschte Verhalten erreichen könnte?