OK, never mind. People are assuming that JAVA_HOME is also where the Jenkins application is installed. That may be the default, but it makes no sense to me, and we changed it long ago.
I found jenkins.xml in the Jenkins installed directory, and the jre alongside it. Now that I know where is the JRE that Jenkins is using, I can make sure that the new JDK7 doesn't mess with it, On Friday, May 1, 2015 at 12:31:50 PM UTC-5, Jeff Dege wrote: > > > Browsing around the web, I've seen references to a jenkins.xml file, that > was supposed to be sitting in $JENKINS_HOME, that had a default setting > pointing to $JENKINS_HOME/jre. But I don't see any such file in > $JENKINS_HOME, and I don't see a jre directory, in $JENKINS_HOME or > anywhere else. > > Where is the JRE that my install of Jenkins is depending on? And where is > the configuration setting that creates that dependency? > > > -- You received this message because you are subscribed to the Google Groups "Jenkins Users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jenkinsci-users/9e1ca010-35a1-4751-ac55-77fbe4599af8%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.
