Ceci est une ancienne révision du document !



jEdit

jEdit est un éditeur de texte pour programmeurs disponible sous GPL. Il est écrit en Java et tourne sous Mac OS X, Windows, GNU/Linux et de nombreux autres systèmes d'exploitation. Il existe des dizaines de plugins qui ont des fonctionnalités très variées, de la gestion de projet à l'exécution de commandes. La coloration syntaxique supporte nativement plus de 130 formats de fichiers (d'autres formats peuvent être ajoutés au moyen de fichiers XML). jEdit supporte l'encodage de caractères UTF-8 et de nombreux autres.

jEdit est très personnalisable et peut être étendu à l'aide de macros écrits en BeanShell, Jython, JavaScript et quelques autres langages de script.

L'auteur principal du logiciel est Slava Pestov. L'éditeur est en développement depuis 1998.

  • Java doit être installé. La compatibilité avec OpenJDK n'est pas garantie et il est fortement recommandé d'utiliser la JVM Sun

Via l'installeur en Java

À télécharger : http://www.jedit.org/index.php?page=download

Puis :

sudo java -jar jedit*.jar

Via le gestionnaire de paquets

Ajoutez le dépôt suivant à vos sources de mise à jour :

deb http://dl.sourceforge.net/sourceforge/jedit ./

Rechargez la liste des paquets et installez le paquet jedit.

Traduction de jEdit en Français

Pour ajouter la traduction de l'interface et des plugins préinstallés, téléchargez le pack de langue sur la page adéquate :

Allez dans le répertoire ou vous avez téléchargé le pack Fr (normalement le Bureau)

cd Desktop

Décompressez le zip, dans le répertoire "properties" de jedit, avec par exemple :

sudo unzip -o int_pluginsFr_05112005.zip -d /usr/share/jedit/properties/

Lancez jEdit, normalement l'interface est en français.

Meilleure intégration à Gnome

Dans les options globales, section « Apparence », sélectionner GTK+ pour « modifications Look & Feel »

Plusieurs jeux d'icônes sont téléchargables : http://community.jedit.org/?q=taxonomy/page/or/23

Voir par exemple GNOME Clearlooks icon theme for jEdit :

Les plugins

Installation

Vous pouvez installer une multitude de plugins sur jEdit grâce à son gestionnaire de plugins ( Menu Plugins » Gestion des plugins…)

Erreur pour installer un plugin !

Si vous avez une erreur lorsque vous choisissez d'installer un plugin, allez dans :

"Utilitaires" > "Options globales" > "Gestionnaire de plugin",

cliquez sur [mettre à jour la liste des mirroirs] et choisissez un autre mirroir.

Normalement vous pourrez installer facilement vos plugins. (si ça ne marche toujours pas, choisissez un autre mirroir ^^)

Traduction des plugins

Vous retrouverez la traduction de certains plugins sur la page de Jojaba (à installer de la même manière que pour la traduction de jEdit): http://jojaba.free.fr/?/Traductions-diverses/Traduction-jEdit3

Si vous n'arrivez pas à taper les caractères spéciaux (tels que :~#{[|`\^…), une solution consiste à modifier le fichier /usr/bin/jedit de cette manière :

sudo gedit /usr/bin/jedit

pour ajouter en cinquième ligne

XMODIFIERS=''

comme ceci :

#!/bin/sh
#
# Runs jEdit - Programmer's Text Editor.
#
XMODIFIERS=''

Contributeurs : FIXME.

  • jedit.1268925766.txt.gz
  • Dernière modification: Le 18/04/2011, 14:39
  • (modification externe)