Re: Problem mit apt preferences

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?