But why would the server settings override the values of the user's settings? I thought the latter ones always had precedence.
Regards Mirko -- Sent from my mobile Am 10.10.2016 22:57 schrieb "Robert Scholte" <rfscho...@apache.org>: > so this is the first change: > https://git1-us-west.apache.org/repos/asf?p=maven.git;a=commit;h=1b00a9e1 > removing it from the POM (I assumed it was really in the Java code) > > Maybe this is a candidate to add to a new version of the settings.xml > This file is a Maven-only file, which makes is easier to change (in > contrast to the pom). > That we be much cleaner compared to the profile-hack. > > Robert > > On Mon, 10 Oct 2016 20:54:41 +0200, Igor Fedorenko <i...@ifedorenko.com> > wrote: > > 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. >> > > --------------------------------------------------------------------- > To unsubscribe, e-mail: dev-unsubscr...@maven.apache.org > For additional commands, e-mail: dev-h...@maven.apache.org > >
