Re: plus de jEdit !

[Jean-Jacques Gerbaud]

Le 09/09/2013 17:14, Guillain SEUILLOT a écrit :
> > Le 09/09/2013 16:42, Guillain SEUILLOT a écrit :
> > > export JAVA_HOME=/usr/lib/jvm/java-1.7.0-openjdk-i386
> >
> > Bien que j'aie lancé cette commande, au lancement de jedit, en console, 
> > j'obtiens :
> > Warning: $JAVA_HOME environment variable not set! Consider setting it.
> >          Attempting to locate java...
> > Found a virtual machine at: /usr/bin/java...
>
> Bin, c'est pas normal. Il dit que JAVA_HOME n'est pas défini alors qu'on vient 
> de le faire...
> Peut-être faut-il également redéfinir PATH :
>
> export JAVA_HOME=/usr/lib/jvm/java-1.7.0-openjdk-i386
Avant de modifier et mon $JAVA_HOME et mon $PATH, je signale que j'ai 
modifié mon $JAVA_HOME avec les noms des 9 fichiers présents dans 
/usr/lib/jvm et aucun n'a eu quelque effet sur jedit !

> export PATH=JAVA_HOME:bin:$PATH
maintenant, je m'occupe de modifier et mon $JAVA_HOME et mon $PATH (dans 
le même sens évidemment) et également , de relancer la machine. Et ça va 
prendre du temps, évidemment !

> que disent :
>
> echo $JAVA_HOME
/usr/lib/jvm/java-1.7.0-openjdk-i386

> echo $PATH
JAVA_HOME:bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:/usr/games
> Autre manière : le modifier dans ton ~/.bashrc. Inscris à la fin du fichier :
>
> export JAVA_HOME=/usr/lib/jvm/java-1.7.0-openjdk-i386
> export PATH=JAVA_HOME:bin:$PATH
> quitte la session et reprends-la pour être sur.
je n'ai pas de ~/.bashrc.  mais je vais le faire avec les indications 
que tu me donnes ?
> > [...]
> > Entretemps, j'avais téléchargé jedit avec java intégré et je l'ai installé, en 
> > root, avec la commande
> >
> > java -jar jedit5.1.0install.jar
> >
> > Comme ça ne marche pas mieux, je voudrais désinstaller cette version et je ne 
> > sais pas comment le faire. Une idée ?
>
> Tu devrais ouvrir un autre sujet pour une question différente.
> Sinon, comment l'as-tu installé ?
ok, je prends un autre sujet.

je l'ai installé tout simplement avec la commande (en root)
 java -jar jedit5.1.0install.jar
>


--
JJG

Linux ? Y a moins bien mais c'est plus cher !
http://www.radiosuisseclassique.ch/fr