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 "Java-based installer" sur http://www.jedit.org/index.php?page=download

Puis déplacez-le dans votre Dossier Personnel et saisissez la commande suivante dans un terminal :

sudo java -jar jedit*.jar

Via le dépôt 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échargeables : 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 miroir ^^)

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

Caractères spéciaux

Si vous n'arrivez pas à taper les caractères spéciaux (tels que :~#{[|`\^…), une solution1) consiste à modifier avec les droits administrateurs le fichier /usr/bin/jedit pour ajouter en cinquième ligne

XMODIFIERS=''

comme ceci :

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

1)
(merci à faical117)
  • jedit.1268959699.txt.gz
  • Dernière modification: Le 18/04/2011, 14:58
  • (modification externe)