Re: jedit -Java nicht da oder nicht gefunden? - gelöst

Luise Kunkle sem-pa at bar-do.net
Mon Nov 23 22:14:40 GMT 2009


Hi Janne,

On Mon, 23 Nov 2009, Janne Hyötylä wrote:

> 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.
>
Und wieder habe ich was gelernt.

Und wiederum danke:-)

Grüße

Luise


------------
One thought to all who, free from doubt,
So definitely know what's true:
2 and 2 is 22 -
and  2 times 2 is 2:-)
==========> ICQ yinyang 96391801 <==========