Peter Holm wrote:
On Sat, 08 May 2004 23:00:11 +0200, Jens Lehmann <jens.lehmann@goldmail.de> wrote:
[...]
dass irgendwie der origin ins pinning rein muss, hab ich auch verstanden, aber vielleicht kann das noch mal jemand, bei dem es wirklich klappt, besser illustrieren? Michelle, danke, Dein Beispiel priorisiert die Quellen nach origin, das ist schon mal ganz interessant. Aber wenn Du das mit einzelnen Paketnamen machst, geht das dann immer noch?
Ich denke mal, dass musst Du selber mal testen. Einfach in die package-Zeile die entsprechenden Pakete abschreiben (* benutzen). Mit apt-cache policy $paket solltest Du Dir dann die Prioritäten anschauen können und entscheiden, ob es funktioniert. Voraussetzung ist natürlich, dass Du über Pinning allgemein bescheid weist, siehe u.a. man apt_preferences.
Jens