jedit -Java nicht da oder nicht gefunden?

[Janne Hyötylä]

On Mon, 23 Nov 2009 00:43:01 +0100, Luise Kunkle <sem-pa at bar-do.net> wrote:
> Hi Liste,
>
> ich habe mir zum Ausprobieren "jedit" installiert/installieren lassen.
>
> Bei Aufruf von jedit kommt die Meldung auf dem terminal:
>
> *************
> sem-pa at xubuntu:~$ jedit
> Warning: $JAVA_HOME environment variable not set! Consider setting it.
>            Attempting to locate java...
> Found a virtual machine at: /usr/bin/java...
> sem-pa at xubuntu:~$ 00:29:40 [jEdit I/O #1] [error] HelpTOCPanel:
> java.io.FileNotFoundException: /usr/share/jedit/doc/api/toc.xml (No such
> file or directory)
> jedit erscheint trotz Allem - aber ich habe keine Ahnung, ob das Programm
> jetzt normal funktioniert oder was ich machen muss, damit es ok ist.
>
> Weiß jemand was??


Hallo,

Wie die Fehlermeldung verrät, findet es die Datei toc.xml unter dem  
Angegebenen Pfad nicht.

$ apt-file list jedit zeigt, dass diese Datei wirklich fehlt.

Es dürfte aber nur die Hilfe-Funktion (oder ähnliches; dem Namen nach zu  
beurteilen) beeinträchtigt sein. Dies könnte ein jedit- oder ein  
Packaging-Bug sein. Wenn du willst würde ich ein Bug-Report darüber  
eröffnen, geht ganz einfach mit:
$ ubuntu-bug jedit

Grüsse,
Janne