[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: After installing Java, what should I set JAVA_HOME to?
From: |
Ludovic Courtès |
Subject: |
Re: After installing Java, what should I set JAVA_HOME to? |
Date: |
Tue, 08 Nov 2016 13:31:24 +0100 |
User-agent: |
Gnus/5.13 (Gnus v5.13) Emacs/25.1 (gnu/linux) |
Hello,
Zachary Kanfer <address@hidden> skribis:
> I don't want to use Guix to build my project because I'm developing it. So,
> for example, I want to run tests often, and that uses Gradle. I want to
> integrate a build into my editor. I want to make a Guix manifest that can
> set up a machine for other people to use, and they don't want to use Guix
> for day-to-day development.
>
> I am not sure what trust store is being used. I'm also not sure how to
> check what trust store is being used.
>
> So when using Guix, what should $JAVA_HOME be set to? Has anyone else done
> a Java setup using Guix?
I don’t use Java so can’t really help, but in commit
f21403e2b6f5a9491937a0cc9f31fc113998ce5e, Ricardo modified icedtea-6 so
that it generates its “keystore” from the certificates in ‘nss-certs’.
Could that be related?
HTH,
Ludo’.
- After installing Java, what should I set JAVA_HOME to?, Zachary Kanfer, 2016/11/02
- Re: After installing Java, what should I set JAVA_HOME to?, Chris Marusich, 2016/11/02
- Re: After installing Java, what should I set JAVA_HOME to?, Zachary Kanfer, 2016/11/07
- Re: After installing Java, what should I set JAVA_HOME to?,
Ludovic Courtès <=
- Re: After installing Java, what should I set JAVA_HOME to?, Ricardo Wurmus, 2016/11/08
- Re: After installing Java, what should I set JAVA_HOME to?, Chris Marusich, 2016/11/09
- Re: After installing Java, what should I set JAVA_HOME to?, Hartmut Goebel, 2016/11/09
- Re: After installing Java, what should I set JAVA_HOME to?, Zachary Kanfer, 2016/11/28
- Re: After installing Java, what should I set JAVA_HOME to?, Ricardo Wurmus, 2016/11/28
- Re: After installing Java, what should I set JAVA_HOME to?, zloster, 2016/11/30
- Re: After installing Java, what should I set JAVA_HOME to?, Ludovic Courtès, 2016/11/28
- Re: After installing Java, what should I set JAVA_HOME to?, Hartmut Goebel, 2016/11/28
- Re: After installing Java, what should I set JAVA_HOME to?, Chris Marusich, 2016/11/28
Re: After installing Java, what should I set JAVA_HOME to?, Ricardo Wurmus, 2016/11/08