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 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 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 PROTECTED]:
 
 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.

-
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]



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 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 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.

-
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]