You are viewing a plain text version of this content. The canonical link for it is here.
Posted to users@maven.apache.org by Nicolas FRANK <nf...@financeactive.com> on 2003/08/13 16:11:20 UTC

Error in wiki (maven.local.home instead of maven.home.local) ?

Sorry the objet was not correct in my previous post...

In maven wiki migraption from beta 9 to beta 10 I can read :


- If you want them somewhere else, update ~/build.properties with
maven.local.home pointing where you wish to unpack things

Shouldn't it be maven.home.local ?

Thank's to confirm so I change it in the wiki.

---------------------------------------------------------------------
To unsubscribe, e-mail: users-unsubscribe@maven.apache.org
For additional commands, e-mail: users-help@maven.apache.org


---------------------------------------------------------------------
To unsubscribe, e-mail: users-unsubscribe@maven.apache.org
For additional commands, e-mail: users-help@maven.apache.org


Re: Error in wiki (maven.local.home instead of maven.home.local) ?

Posted by Andy Jefferson <an...@ajsoft.net>.
On Wednesday 13 Aug 2003 15:11, Nicolas FRANK wrote:
> Sorry the objet was not correct in my previous post...
>
> In maven wiki migraption from beta 9 to beta 10 I can read :
>
>
> - If you want them somewhere else, update ~/build.properties with
> maven.local.home pointing where you wish to unpack things
>
> Shouldn't it be maven.home.local ?

You really mean maven.repo.local


-- 
Andy


---------------------------------------------------------------------
To unsubscribe, e-mail: users-unsubscribe@maven.apache.org
For additional commands, e-mail: users-help@maven.apache.org