oehme commented on code in PR #749:
URL: https://github.com/apache/maven-mvnd/pull/749#discussion_r1044286021
##########
common/src/main/java/org/mvndaemon/mvnd/common/Environment.java:
##########
@@ -94,9 +94,16 @@ public enum Environment {
// Maven properties
//
/** The path to the Maven local repository */
- MAVEN_REPO_LOCAL("maven.repo.local", null, null, OptionType.PATH,
Flags.NONE),
+ MAVEN_REPO_LOCAL("maven.repo.local", null, null, OptionType.PATH,
Flags.DISCRIMINATING | Flags.OPTIONAL),
/** The location of the maven settings file */
- MAVEN_SETTINGS("maven.settings", null, null, OptionType.PATH, Flags.NONE,
"mvn:-s", "mvn:--settings"),
+ MAVEN_SETTINGS(
+ "maven.settings",
+ null,
+ null,
+ OptionType.PATH,
+ Flags.DISCRIMINATING | Flags.OPTIONAL,
+ "mvn:-s",
+ "mvn:--settings"),
Review Comment:
Yes, it should, but from a cursory look at this class it's not yet supported
at all. I also think that the Java Home should be discriminating and that the
actual content of the settings.xml should be considered as well, but all of
these seemed out of scope for this PR.
--
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
