Not just the url, but all aspect of "central" repository are configurable in user settings.xml today. Even if we provide a better way to express this configuration, I believe the old way should continue to work for a few releases to allow graceful migration. Many users will use multiple versions of maven side-by-side (think jenkins, for example). And more generally, forcing settings.xml update is going to be a major effort for larger organizations, with 100x or 1000x developers.
-- Regards, Igor On Mon, Oct 10, 2016, at 02:33 PM, Robert Scholte wrote: > On Mon, 10 Oct 2016 16:22:20 +0200, Christian Schulte <c...@schulte.it> > wrote: > > > Am 10.10.2016 um 16:16 schrieb Christian Schulte: > >> Am 10.10.2016 um 15:35 schrieb Igor Fedorenko: > >>> It is common to use repository with id=central in settings.xml to > >>> override central location. This functionality should continue to work, > >>> regardless how it is implemented in Maven internally. > >>> > >> > >> <https://git-wip-us.apache.org/repos/asf?p=maven.git;a=blob;f=apache-maven/src/conf/settings.xml;h=c24acfd1175b002438635d2a212032cd23a4381a;hb=HEAD#l248> > >> > >> > > > > Everyone. Would it be better to not enable that profile by default? So > > that a repository needs to be defined manually or Maven will not be able > > to download anything? That way users currently overriding 'central' > > somehow will not be affected and will just no longer override anything > > anymore. The super pom central will just disappear and the settings hold > > a template profile users need to enable themselves. Just needs to be > > documented in the introductory guides on the site as one of the first > > steps to do after installing Maven. > > > > Regards, > > So we want the URL of central to be configurable, or at least not > hard-coded? Why not define it in a properties file in the ${maven.conf} > directory? No profile hack required and a clean settings.xml. > > my 2 cents, > Robert > > --------------------------------------------------------------------- > To unsubscribe, e-mail: dev-unsubscr...@maven.apache.org > For additional commands, e-mail: dev-h...@maven.apache.org > --------------------------------------------------------------------- To unsubscribe, e-mail: dev-unsubscr...@maven.apache.org For additional commands, e-mail: dev-h...@maven.apache.org
