>>>>> 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