How to call System.getProperty("user.home") from ABCL
Marco Antoniotti
marcoxa at cs.nyu.edu
Sat Jun 17 08:12:40 UTC 2017
Well. Looks like a bug in ABCL USER-HOMEDIR-PATHNAME to me.
Marco
> On Jun 17, 2017, at 01:51 , Mirko Vukovic <mirko.vukovic at gmail.com> wrote:
>
> Hello,
>
> after a recent update of my company Windows 10 laptop, ABCL 1.4 is landing me in an incorrect home directory. Before I contact our support I would like to investigate the problem a bit more. This is how far I got:
>
> (user-homedir-pathname) returns
> #P"C:/WINDOWS/system32/config/systemprofile/"
>
> I wrote a little Java snippet to test "user.home"
> public class UserHome {
>
> public static void main(String[] args) {
> System.out.println(System.getProperty("user.home"));
> }
>
> }
>
> and it returns, correctly, "C:\Users\977315"
>
> I don't know how to call System.getProperty("user.home") from ABCL.
>
> I have multiple Java's on my laptop, and I need to doublecheck that my tests are self-consistent. But in the meantime, how do I call System.getProperty?
>
> Thanks,
>
> Mirko
>
--
Marco Antoniotti
More information about the armedbear-devel
mailing list