The following works for me: $ cat /etc/apt/preferences Package: * Pin: origin ppa.launchpad.net Pin-Priority: 100
$ apt-cache policy|grep -A2 -B2 ppa 100 http://ppa.launchpad.net/appgrid/stable/ubuntu/ saucy/main i386 Packages release v=13.10,o=LP-PPA-appgrid-stable,a=saucy,n=saucy,l=appgrid stable,c=main origin ppa.launchpad.net ** Changed in: apt (Ubuntu) Status: New => Incomplete -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1245929 Title: apt pinning preferences are ignored To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/apt/+bug/1245929/+subscriptions -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
