jedit -Java nicht da oder nicht gefunden?

[Janne Hyötylä]

On Mon, 23 Nov 2009 16:18:34 +0100, Luise Kunkle <sem-pa at bar-do.net> wrote:

> ****
> $ jedit
> Warning: $JAVA_HOME environment variable not set! Consider setting it.
>            Attempting to locate java...
> Found a virtual machine at: /usr/bin/java..
> *********
> (Wobei ich die Meldung nicht so recht verstehe: Was ist mit $JAVA-HOME
> gemeint?)

Hallo,

(der Rest wurde ja geklärt)

Zum JAVA_HOME: Es gibt unter Linux mehrere möglichkeiten, die  
Java-Laufzeitumgebung zu bestimmen. $JAVA_HOME zu setzen, scheint eine  
davon zu sein, die aber offenbar von Ubuntu nicht verwendet wird. Da diese  
nicht gefunden wurde, hat das Start-Skript von jedit (/usr/bin/jedit  
dürfte ein shell-script sein, das kannst du mit dem Editor anschauen)  
andere Methoden oder "Heuristiken" angewandt. Hat ja auch geklappt,  
bei/usr/bin/java wurde sie gefunden.

Grüsse,
Janne