maven-users mailing list archives

Site index · List index
Message view « Date » · « Thread »
Top « Date » · « Thread »
Subject RE: Difference between maven.home and maven.home.local?
Date Tue, 13 May 2003 12:50:55 GMT
So, it seems that if I set my environment variable:

then everything will work?  I tried adding the environment varialbe, and it
seemed to be good.  It definitly did not default to maven_home location.

  I noticed that Peter volunteered to add something to HEAD about this.  If
he doesn't ahve time, I will ..


-----Original Message-----
From: Emmanuel Venisse []
Sent: Tuesday, May 13, 2003 1:39 PM
To: Maven Users List
Subject: Re: Difference between maven.home and maven.home.local?

You can see peter Lynch response :


----- Original Message ----- 
From: <>
To: <>
Sent: Tuesday, May 13, 2003 2:00 PM
Subject: Difference between maven.home and maven.home.local?

> Hi all,
> I am trying to do a fresh build of maven from CVS, and I noticie that I
> the maven.home.local directory.
>     [echo] maven.home = D:\java\maven
>      [echo] maven.home.local = C:\Documents and
>      [echo] maven.repo.local = D:\java\maven\repository
> My issue is that when I finish installing Maven, it places everything in
> maven.home and the maven.home.local  However, when I run maven -g, the
> plugins are expanded in maven.home.local, not in my maven.home directory,
> they remain in their jar files!  Is this something other people are
> Eric Pugh

Envie de discuter en "live" avec vos amis ? Télécharger MSN Messenger la 1ère messagerie instantanée de France

To unsubscribe, e-mail:
For additional commands, e-mail:

  • Unnamed multipart/alternative (inline, None, 0 bytes)
View raw message