You are viewing a plain text version of this content. The canonical link for it is here.
Posted to issues@maven.apache.org by "Hudson (Jira)" <ji...@apache.org> on 2020/03/28 15:01:02 UTC
[jira] [Commented] (MNG-6001) Replace %HOME% with %USERPROFILE% in
mvn.cmd
[ https://issues.apache.org/jira/browse/MNG-6001?page=com.atlassian.jira.plugin.system.issuetabpanels:comment-tabpanel&focusedCommentId=17069668#comment-17069668 ]
Hudson commented on MNG-6001:
-----------------------------
Build failed in Jenkins: Maven TLP » maven-studies » maven-metrics #4
See https://builds.apache.org/job/maven-box/job/maven-studies/job/maven-metrics/4/
> Replace %HOME% with %USERPROFILE% in mvn.cmd
> --------------------------------------------
>
> Key: MNG-6001
> URL: https://issues.apache.org/jira/browse/MNG-6001
> Project: Maven
> Issue Type: Improvement
> Components: Command Line
> Affects Versions: 3.3.9
> Reporter: Michael Osipov
> Assignee: Michael Osipov
> Priority: Major
> Fix For: 3.5.0-alpha-1, 3.5.0
>
>
> Setting {{HOME=%HOMEDRIVE%%HOMEPATH%}} is a relic from Windows NT times. The preferred way is to use {{%USERPROFILE%}} which is already done in Java 8 internally.
> Let's use it to load the {{mavenrc}} scripts.
> Some references:
> * http://stackoverflow.com/a/36392591/696632
> * http://stackoverflow.com/a/21599376/696632
> * http://bugs.java.com/view_bug.do?bug_id=4787931
--
This message was sent by Atlassian Jira
(v8.3.4#803005)