apt-pinning

[Matthias Taube]

Hi,

in meiner sources.list steht u.a.:

deb file:///home/data/music/cd/ubuntu/ubuntu1/ edgy main  multiverse
restricted  universe

Wie kann ich in der Preferences diesen Pfad mit einer höheren Priorität
versehen?

Package: *
Pin: origin file:///home/data/music/cd/ubuntu/ubuntu1/
Pin-Priority: 700

Tut nicht was es soll:

~$ apt-cache policy g++
g++:
  Installiert:4:4.1.1-6ubuntu3
  Mögliche Pakete:4:4.1.1-6ubuntu3
  Versions-Tabelle:
 *** 4:4.1.1-6ubuntu3 0
        500 http://archive.ubuntu.com edgy/main Packages
        500 file: edgy/main Packages
        500 file: edgy/main Packages
        100 /var/lib/dpkg/status

Dies würde also die Datei aus dem Netz anstelle von der Platte nehmen.

mfg
Matthias