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]

Reply via email to