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