Patches for Python scripts

Enrico Forestieri forenr at
Sat Jan 30 01:31:10 UTC 2021

On Fri, Jan 29, 2021 at 11:40:29PM +0100, Thibaut Cuvelier wrote:

Hi Thibaut,

> - This way to find Java is quite common on Windows platforms (actually,
> it's a lot like a port of JavaCall.jl's relevant portion of code:
> It looks like Oracle's JVM
> does the same at installation:
> Other JVMs mimic the same behaviour:
> Moreover, I don't think we can let beginner users on their own to configure
> the PATH, we really should go an extra step to find a Java binary (while
> letting the PATH have preference over anything else, so that users can
> still choose which Java they want).
> Using things like \HKEY_CLASSES_ROOT\Installer\Products\ is, in my opinion,
> the wrong way to check for Java in the registry: these identifiers seem to
> vary a lot between versions of Java (
> On my machine, I have no 4EA42A62D9304AC4784BF2238120180F, for instance.

That was actually my point. I found that key by searching for java with
regedit after not finding JavaSoft under HKEY_LOCAL_MACHINE/SOFTWARE/

> I am attaching a new version of the patch based on
> Does it work for you? Otherwise, would you have something else under


$ ls -F /proc/registry/HKEY_LOCAL_MACHINE/SOFTWARE/Java*
ls: No such file or directory

but, after reading the stackoverflow link above, I found that I have:

$ ls -F /proc/registry/HKEY_LOCAL_MACHINE/SOFTWARE/WOW6432Node/JavaSoft/
'Auto Update'/               'Java Update'/           sponsorsoffered
'Java Plug-in'/              'Java Web Start'/
'Java Runtime Environment'/  'Java Web Start Caps'/


$ ls -F /proc/registry/HKEY_LOCAL_MACHINE/SOFTWARE/WOW6432Node/JavaSoft/Java\ Runtime\ Environment/
1.8/  1.8.0_281/  BrowserJavaVersion  CurrentVersion

So, it seems that you have to check also for the 32-bit version.


More information about the lyx-devel mailing list