Ted Neward wrote: > I don't know if these are potential bugs, by the way, or just bad settings > on my machine, but....
> (*) JAVA_HOME is set by CMD.exe before invoking bash (as part of a .bat file > I created on my machine). Should it be getting it from the Windows > environment (is it getting reset somehow in the jdk_generic_profile shell > script), and if not, should I set it myself again in jdk_generic_profile or > something? I believe we strongly discourage setting the JAVA_HOME environment variable, at least for JDK developers. Martin
