Paul Libbrecht <[EMAIL PROTECTED]> wrote on 21/08/2003 08:45:13 AM:
>
> Hi Maveners,
>
> Since maven b10, the maven.home is now in ${user.home}/.maven.
Not quite, just per user stuff is placed there, i.e. non-installation
details.
> For our current systems, this is pretty much a catastrophe as the homes
> are limited (being backed-up).
>
> I managed changing this to a shared directory (which will allow then
> people to also share their repository). I wanted at least to know wether
> this was safe (in particular, locks would be nice to have, and I am
> not clear about the plugin "cache").
You can always set the plugin unpacked dir to be a local (to the user dir)
and leave the repo as a shared one.
> Also, I wanted to request a small post-processing command, maybe to be
> inserted as a property, to allow anything created in this repository to
> be flagged group-writable. Where should I set this ? Should I go into
> the maven source ?
Sorry, NFI.
--
dIon Gillard, Multitask Consulting
Blog: http://blogs.codehaus.org/people/dion/
