how to disable a profile ?

2007-05-03 Thread nicolas de loof
Hello, my settings.xml contain a set of mirror. In some circunstances I'd like to disable them. To do this, I've set them in a profile that is enabled by default. How can I disable this profile from the command line ? Nico.

Re: how to disable a profile ?

2007-05-03 Thread nicolas de loof
In fact, I was wrong, the settings descriptor doesn't allow to set mirrors in a profile. I'll have to comment the XML block any time I want to disable mirrors... 2007/5/3, nicolas de loof [EMAIL PROTECTED]: Hello, my settings.xml contain a set of mirror. In some circunstances I'd like to

RE: how to disable a profile ?

2007-05-03 Thread Jörg Schaible
mvn -s alternate-settings.xml :) nicolas de loof wrote on Thursday, May 03, 2007 12:02 PM: In fact, I was wrong, the settings descriptor doesn't allow to set mirrors in a profile. I'll have to comment the XML block any time I want to disable mirrors... 2007/5/3, nicolas de loof [EMAIL

Re: how to disable a profile ?

2007-05-03 Thread nicolas de loof
Thanks ! 2007/5/3, Jörg Schaible [EMAIL PROTECTED]: mvn -s alternate-settings.xml :) nicolas de loof wrote on Thursday, May 03, 2007 12:02 PM: In fact, I was wrong, the settings descriptor doesn't allow to set mirrors in a profile. I'll have to comment the XML block any time I want to