pinning alternative repo

All Gurus once were Newbies
Forum rules
There are no such things as "stupid" questions. However if you think your question is a bit stupid, then this is the right place for you to post it. Please stick to easy to-the-point questions that you feel people can answer fast. For long and complicated questions prefer the other forums within the support section.
Before you post please read how to get help

Important information

pinning alternative repo

Postby rhodry on Sun Feb 13, 2011 7:08 pm

I prefer to use Opera as my web browser and would like to keep it right up to date in LMDE. As a result I have aded the 'testing' repo from to my sources.list:

# Mint mirror
deb debian main upstream import backport

# Debian Multimedia
deb testing main non-free

# ISP Debian Mirror
deb testing main contrib non-free
deb testing/updates main contrib non-free

# Liquorix Kernel
deb sid main

# Opera web browser
deb testing non-free

## Depôt Multisystem
# deb 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:

Package: *
Pin: release o=linuxmint
Pin-Priority: 700

Package: *
Pin: origin
Pin-Priority: 700

Package: *
Pin: origin ""
Pin-Priority: 700

Package: *
Pin: release o=Debian
Pin-Priority: 500

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.

Life isn't about waiting for the storm to pass...
it's about learning to dance in the rain.
Level 4
Level 4
Posts: 347
Joined: Mon Jun 04, 2007 7:32 am

Linux Mint is funded by ads and donations.

Return to Newbie Questions

Who is online

Users browsing this forum: No registered users and 3 guests