> 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 set MAVEN_HOME_LOCAL=/path/to/shared/.maven in
/etc/profile and everyone will get a shared instance of both the plugins and
repository - but there are potential problems with both in terms of
permissions as you point out.
Maybe MAVEN_HOME_LOCAL=/path/to/temporary/storage/$USERNAME is what you want
instead so everyone has their own copy somewhere where space isn't an issue.
> 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 ?
Java doesn't really deal with this issue. You are probably going to have to
asses the umask on the directories in question, or add a chmod -R to the end
of the maven shell script for your particular instance.
Cheers,
Brett
