jgneff commented on issue #11011:
URL: https://github.com/apache/maven/issues/11011#issuecomment-4013388642
> Just for experiment sake, can you **replace**
`<port>${https.proxyPort}</port>` bit with `<port>8222</port>`? Same for
`<active>${proxy.active}</active>`, in fact, can you for experiment sake just
replace (manually "interpolate") all the values?
I tried hard-coding (manually "interpolating") the values in the file, and
it worked fine.
So the general concept of using the *settings.xml* file for proxy
configuration works. I was unable to find any way to substitute values for
MAVEN_ARGS (Maven user properties) or MAVEN_OPTS (Java system properties) in
the user settings file.
--
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: [email protected]
For queries about this service, please contact Infrastructure at:
[email protected]