No APT, você "fixa" pacotes - ou seja, especifica preferências personalizadas de pacotes com base em várias propriedades.
Primeiro, execute apt-cache policy
para ver as propriedades dos repositórios configurados e procure um que seja específico para o seu PPA. Ele provavelmente terá algo como release n=precise
(baseado no release do Ubuntu que ele tem como alvo) ou pelo menos origin launchpad.net
(baseado no site de origem):
$ apt-cache policy | egrep -i "(ppa|arm)"
500 http://ppa.launchpad.net/terry.guo/gcc-arm-embedded/ubuntu/ trusty/main i386 Packages
release v=14.04,o=LP-PPA-terry.guo-gcc-arm-embedded,a=trusty,n=trusty,l=GNU ARM Embedded Toolchain,c=main
origin ppa.launchpad.net
500 http://ppa.launchpad.net/terry.guo/gcc-arm-embedded/ubuntu/ trusty/main amd64 Packages
release v=14.04,o=LP-PPA-terry.guo-gcc-arm-embedded,a=trusty,n=trusty,l=GNU ARM Embedded Toolchain,c=main
origin ppa.launchpad.net
release v=14.04,o=LP-PPA-app-review-board,a=trusty,n=trusty,l=Application Review Board PPA,c=main
release v=14.04,o=LP-PPA-app-review-board,a=trusty,n=trusty,l=Application Review Board PPA,c=main
Em seguida, crie um arquivo /etc/apt/preferences
:
Package: binutils-arm-none-eabi
Pin: origin ppa.launchpad.net
Pin-Priority: 900
Package: gcc-arm-none-eabi
Pin: origin ppa.launchpad.net
Pin-Priority: 900
Para Pin
, use a propriedade do repositório que você encontrou anteriormente. Para a prioridade, escolha um número maior do que qualquer repositório regular da Debian.
Por fim, execute apt-cache policy binutils-arm-none-eabi
- desta vez com o nome do pacote - para verificar se as preferências foram aplicadas corretamente:
$ apt-cache policy gcc-arm-none-eabi
gcc-arm-none-eabi:
Installed: 4-8-2014q2-0trusty10
Candidate: 4-8-2014q2-0trusty10
Package pin: 4-8-2014q2-0trusty10
Version table:
4.8.2-14ubuntu1+6 900
500 http://us.archive.ubuntu.com/ubuntu/ trusty/universe amd64 Packages
*** 4-8-2014q2-0trusty10 900
500 http://ppa.launchpad.net/terry.guo/gcc-arm-embedded/ubuntu/ trusty/main amd64 Packages
100 /var/lib/dpkg/status
- AptPreferences no Debian Wiki
- PinningHowto no Wiki do Ubuntu
- Apt-Pinning for Beginners