michael-o commented on PR #1597:
URL: https://github.com/apache/maven/pull/1597#issuecomment-2211340719
> @michael-o Defining `maven.user.home = ${user.home}/.maven` should move
the repository, toolchains and other config bits to a different place in the
user home directory (maybe some are missing) .
`maven.user.home` implies that there might be other properties with
`maven.user.` prefix. I doubt that we should do that. I think that
`maven.userdir` should be better.
Both refer to it as config dir:
*
https://github.com/apache/subversion/blob/3c529d688a9b3a7590dda927e41050103ad48826/subversion/libsvn_subr/auth.h#L34
*
https://github.com/git/git/blob/06e570c0dfb2a2deb64d217db78e2ec21672f558/config.c#L78
--
This is an automated message from the Apache Git Service.
To respond to the message, please log on to GitHub and use the
URL above to go to the specific comment.
To unsubscribe, e-mail: issues-unsubscr...@maven.apache.org
For queries about this service, please contact Infrastructure at:
us...@infra.apache.org
