Le 24/11/2017 à 16:54, Dirk Eddelbuettel a écrit : > configuring Java ... > *** JAVA_HOME is not a valid path, ignoring
> Any concrete tips as to what we should try instead? What about setting JAVA_HOME to /usr/lib/jvm/default-java? Emmanuel Bourg
Le 24/11/2017 à 16:54, Dirk Eddelbuettel a écrit : > configuring Java ... > *** JAVA_HOME is not a valid path, ignoring
> Any concrete tips as to what we should try instead? What about setting JAVA_HOME to /usr/lib/jvm/default-java? Emmanuel Bourg