On Jeudi, août 21, 2003, at 01:31 Europe/Paris, Brett Porter wrote:
Since maven b10, the maven.home is now in ${user.home}/.maven.
Nope, that's maven.home.local.
Indeed, sorry...
I'm guesing your problem is the repository, not the plugins directory.
In
this case, have all the users set
Ben Walding wrote:
Paul Libbrecht wrote:
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 ?
Perhaps set the
Since maven b10, the maven.home is now in ${user.home}/.maven.
Nope, that's maven.home.local.
I'm guesing your problem is the repository, not the plugins directory. In
this case, have all the users set maven.repo.local=/path/to/shared/repo in
their ~/build.properties.
Alternatively, you can
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