Ceci est une ancienne révision du document !



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é.
  • Via l'installateur en Java, à télécharger ici : http://www.jedit.org/index.php?page=download Puis
    sudo java -jar jedit*.jar
  • Via Synaptic, rajoutez les dépôts suivants :
    deb http://dl.sourceforge.net/sourceforge/jedit ./
    deb-src http://dl.sourceforge.net/sourceforge/jedit ./

    actualisez

    sudo apt-get update

    et installez

    sudo apt-get install 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 ici pour la version en développement 4.3pre10, ou pour la version stable 4.2. (Merci à Jojaba)

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

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/jeditFr.htm#tradplugins


Contributeurs : FIXME.

  • jedit.1213119863.txt.gz
  • Dernière modification: Le 10/06/2008, 19:48
  • (modification externe)