# Mint mirror
deb http://mirror.aarnet.edu.au/pub/linuxmint-packages/ debian main upstream import backport
# Debian Multimedia
deb http://www.debian-multimedia.org testing main non-free
# ISP Debian Mirror
deb http://mirror.internode.on.net/pub/debian/ testing main contrib non-free
deb http://mirror.internode.on.net/pub/debian-security/ testing/updates main contrib non-free
# Liquorix Kernel
deb http://liquorix.net/debian sid main
# Opera web browser
deb http://deb.opera.com/opera/ testing non-free
## Depôt Multisystem
# deb http://liveusb.info/multisystem/depot all hand
My question is about 'pinning' that opera repo to ensure correct operation of Mint Update ( in fact any use of apt-get update). I do not want to get version installs wrong on updates. The aim is to continue with the Opera repo for updates.
Can someone familiar with this concept comment on my proposed /etc/apt/preferences file or suggest an alternative please:
Pin: release o=linuxmint
Pin: origin packages.linuxmint.com
Pin: origin "deb.opera.com"
Pin: release o=Debian
My understanding of that entry is that apt will see that the opera site has the same priority (but not higher) as the 'release' so it will simply look for the highest available version to install during an update?! Is that correct? Should I change the 700 to something else?
Any guidance appreciated.