#1 Le 18/12/2006, à 19:36
- River
Mise en route de Jedit
Bonjour,
Alor voila, j'ai installer temp bien que mal, jedit sur Ubuntu 6.10, Mais impossible de trouvez comment le mettre en route, j'ai fait des recherche et rien, personne ne dis ou ils faut allez ou quoi tapez dans la console.
j'ai deja essayer dans la console :
man jedit ( pour avoir la doc met rien )
jedit ( pour savoir se que sa faisai, mais rien non plus )
Alors je viens vous demander de l'aide, s'il vous plait.
PS : J'ai vais l'install sans rien toucher a la config, donc elle est en defaut.
Merci.
#2 Le 18/12/2006, à 19:45
- l_homme_des_bois
Re : Mise en route de Jedit
salut
si la console ne renvois rien......c est qu' il est pas / mal instalé.
quelle methode a tu utilisé pour l instaler? un .deb? un .tar.gz ? un depot?
PS: tu parle bien de jEdit et non de Gedit??
oliv'
Hors ligne
#3 Le 18/12/2006, à 19:59
- River
Re : Mise en route de Jedit
oui,je parle bien de jedit
J'ai utiliser le : jedit42install.jar
Avec la commande en console : java -jar jedit42install.jar
#4 Le 18/12/2006, à 20:29
- l_homme_des_bois
Re : Mise en route de Jedit
aucune erreur dans la console lors de l install ?
sinon je cede la main , mes maigres competances sont dépacées...
oliv'
Hors ligne
#5 Le 18/12/2006, à 20:32
- River
Re : Mise en route de Jedit
non aucune erreur dans la console
#6 Le 22/12/2006, à 20:09
- JBF
Re : Mise en route de Jedit
Bonjour,
il me semble qu'il y a un script dans le réperoire d'installation de jEdit, quelque chose comme :
#!/bin/sh
# Java heap size, in megabytes
JAVA_HEAP_SIZE=32
DEFAULT_JAVA_HOME="/usr/lib/jvm/java-1.5.0-sun-1.5.0.06/jre"
if [ "$JAVA_HOME" = "" ]; then
JAVA_HOME="$DEFAULT_JAVA_HOME"
fi
exec "$JAVA_HOME/bin/java" -mx${JAVA_HEAP_SIZE}m -Xmx256m -Dswing.aatext=true ${JEDIT} -jar "/home/toto/prog/jedit/jedit.jar" $@si jEdit est installé dans /home/toto/prog/
L'option -Dswing.aatext=true sert à obtenir un meilleur lissage des polices.
Tu peux même trouver l'icone jEdit pour ajouter un raccourci dans le tableau de bord de KDE.
JBF
#7 Le 28/09/2007, à 21:11
- kpouer
Re : Mise en route de Jedit
Salut, si tu veux un conseil sur jEdit : ne pas utiliser la version 4.2 final, car bien qu'étant marquée final elle n'est pas maintenue et la 4.3pre10 actuelle (4.3pre11 va sortir de facon imminente) est bien meilleure, c'est effectivement une beta, mais dans l'ensemble les beta de jEdit sont stable et utilisable au quotidie
Hors ligne