<div dir="ltr"><br><br><div class="gmail_quote"><div dir="ltr">On Wed, Jun 21, 2017 at 1:52 AM Mark Evenson <<a href="mailto:evenson@panix.com">evenson@panix.com</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br>
<br>
On 6/20/17 21:35, Marco Antoniotti wrote:<br>
> Well.  It looks like somebody’s bug nevertheless.<br>
><br>
> These are not the days of MS-DOS anymore, and I believe that W10 has a clear notion of “user home”.<br>
<br>
It is a bug with the ORCL JVM, which does not properly encapsulate the<br>
notion of "user home" under Windows, probably because it has been<br>
historically revised and overloaded as (un)necessary by MSFT.<br>
<br>
ABCL needs to support any Windows platform capable of running Java 6,<br>
not just Windows 10, so we would need code conditionalized by the<br>
Windows platform that ABCL is running on.  As such, we would need a<br>
clear notion of "user home" on all existing Windows operating systems.<br>
Were someone submit such a patch, we would include it with ABCL.<br>
<br>
The user may always specify the value of "user home" to ABCL by passing<br>
a '-Duser.home=SOMEPLACE' argument to the invoking JVM.<br></blockquote><div><br></div><div>In the meantime, Section 2.2 of the documentation can be updated to reflect this suggestion.  Since I don't have the sources, and don't want to submit a patch, I hope the following text (derived from Mark's email) can be easily included at the end of section 2.2 (feel free to edit).</div><div><br></div><div><div id="inbox-inbox-content" style="font-family:"Times New Roman";font-size:medium"><p>On Microsoft Windows, the notion of the user home directory is not consistent across OS releases, upgrades, and system settings. The user can specify the home directory by passing <code>"-Duser.home=someplace"</code> to the invoking JVM. As an example, abcl.bat file should be modified to this effect:</p><pre class="inbox-inbox-example" style="border:1px solid rgb(204,204,204);padding:8pt;overflow:auto;margin:1.2em">"C:\Windows\sysWOW64\java.exe" "-Duser.home=C:\Users\..." ...
</pre></div><div id="inbox-inbox-postamble" class="inbox-inbox-status" style="font-family:"Times New Roman";font-size:medium"><p class="inbox-inbox-author" style="font-size:14.4px;margin:0.2em"><br></p></div></div><div> Mirko</div></div></div>