2009/1/28 nicolas de loof <[email protected]>: > with mirrorOf * I just can't have distinct mirror for releases and > snapshots, and URL don't change so often ! > How can we expect people to be consistent as there is no place to define the > official ID of a repo ? Mojo itself uses "Codehaus Snapshots" in site docs > and "codehaus-shapshot" on wiki :-/ > > Maybe a "best practice" could be to have a index.html file at repo root with > a suggested <repository> bloc, so that there is some "official" ID for the > repo...
Or a repo-metadata.xml that contains the id's that this repository maps to... that way we can run a maven plugin to validate the settings.xml against the repo-metadata.xml files.... and aggregating mirrors can report correctly what id's they have aggregated. -Stephen > > just my 2 cents > > 2009/1/28 Brian E. Fox <[email protected]> > >> This is a manifest of people not being consistent, but just use mirrorOf >> * to catch them. I don't see url being a whole lot easier because then >> if the url changes, you're back in the same game. >> >> -----Original Message----- >> From: [email protected] [mailto:[email protected]] On >> Behalf Of nicolas de loof >> Sent: Wednesday, January 28, 2009 3:56 AM >> To: Maven Developers List >> Subject: repository ID as mirrorOf. Why not URL ? >> >> Hi, >> The <mirrorOf> settings.xml element uses repository ID to match mirrors >> from >> projetcs <reposiroties>. Just to match codehaus shapshot repository, I >> have >> to declare >> <mirrorOf>snapshot.codehaus,codehaus.shapshot,codehaus-shapshot,Codehaus >> Snapshots</mirrorOf> >> ... and maybe I still miss some variants >> >> Why do we use ID to match repos, and not URL ? >> Can we extend the mirroring feature to also look for URL matching in a >> future version ? >> >> Cheers, >> Nicolas >> >> --------------------------------------------------------------------- >> 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]
