>>>>> On Thu, 18 Aug 2011, Diego Elio Pettenò wrote:

>> I understand the concern, but instead of banning the use of
>> mirror://gentoo, why not make it mandatory to have a dev.gentoo.org
>> link
>> in SRC_URI when there's a mirror://gentoo link? 

> Because they are functionally equivalent.

They are not, in fact.

> If you do have a SRC_URI pointing to dev.g.o, then portage _will_
> look for the file in the gentoo mirrors by default unless you
> explicitly RESTRICT it.

And if you have an SRC_URI pointing to mirror://gentoo/ then Portage
will look for the file on Gentoo mirrors, regardless of any fetch or
mirror restriction. This can be useful, e.g., if you need the mirror
restriction only for one file in SRC_URI.

Ulrich

Reply via email to