On Friday 14 October 2016, Robert Scholte <rfscho...@apache.org> wrote:

> On Fri, 14 Oct 2016 00:09:26 +0200, Christian Schulte <c...@schulte.it>
> wrote:
> Am 10/13/16 um 21:52 schrieb Robert Scholte:
>>> On Thu, 13 Oct 2016 02:53:54 +0200, Christian Schulte <c...@schulte.it>
>>>> Should I change the order of the effective settings so that things from
>>>> the global settings always come before the user settings? Will that blow
>>>> up somewhere else. We know nothing about how users have edited theire
>>>> global settings. Just leave the repositories in the 4.0.0 super pom and
>>>> revert the commits? I consider the order wrong, btw.
>> What to do about that? It appears to be a bug never been triggered
>> because we never had someone put an active profile in the global settings.
>> Regards,
> Let's put all these kind of settings.xml changes in one release. Much
> easier to explain to the community.


It may make sense to "move" the settings.xml from ~/.m2/settings.xml to
~/.m2/settings-4.1.0.xml along with a schema bump (for interoperability I
think it would be wrong to change the schema on a file older clients want
to read)

> ---------------------------------------------------------------------
> To unsubscribe, e-mail: dev-unsubscr...@maven.apache.org
> For additional commands, e-mail: dev-h...@maven.apache.org

Sent from my phone

Reply via email to