What's the use case for having a repository on the local disk, but specifying a mirror of it somewhere else? I'm sure if this is happening to people, it's totally unintentional.
-----Original Message----- From: Brett Porter [mailto:[EMAIL PROTECTED] Sent: Thursday, March 13, 2008 8:35 PM To: Maven Developers List Subject: Re: [Proposal] mirror settings and file:// repositories This seems a little too much magic to me - is there any use case for it outside of the integration tests? Would --ignore-mirrors or -- ignore-mirror-for ID be more appropriate? I've been using a replacement settings.xml file, but that blasts local repository setting and other mirrors. - Brett On 14/03/2008, at 9:25 AM, Brian E. Fox wrote: > Wiki: > http://docs.codehaus.org/display/MAVEN/Mirror+Settings+and+File+reposito > ries > Jira: http://jira.codehaus.org/browse/MNG-3461 > > -----Original Message----- > From: Brian E. Fox [mailto:[EMAIL PROTECTED] > Sent: Thursday, March 13, 2008 5:59 PM > To: Maven Developers List > Subject: [Proposal] mirror settings and file:// repositories > > I ran into some issues recently with the IT tests. I use a mirrorof > * to > redirect everything to a repo manager but this is also redirecting the > file based repositories. I can't think of any good reason this should > apply to anything other than remote repos. I have two proposals: > > > > 1. Change maven so that file based repos ignore all mirror > settings > > 2. Change maven so that file based repos ignore the wildcard but > will respond if the mirror specifically names it. > > > > Like I said, I can't think of any reason why a mirror should > override a > local repo so I suggest we go with #1. I'm targeting this change for > 2.0.9. > > > --------------------------------------------------------------------- > To unsubscribe, e-mail: [EMAIL PROTECTED] > For additional commands, e-mail: [EMAIL PROTECTED] > -- Brett Porter [EMAIL PROTECTED] http://blogs.exist.com/bporter/ --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED] --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
