Ceci est une ancienne révision du document !
Introduction
Installation
Vérifier si Java est installé sur l'ordinateur
Sous Windows chercher 'Invite des commandes' parmi les programmes (fonction recherche)
Taper java -version
Le résultat donnera quelques lignes dont la première est java version “1.6.0 [et le reste]”
Fermer l'invite des commandes c'est OK
Si java n'est pas installé (normalement il est installé par défaut sur tous les ordinateurs), on aura un message de type: pas de java installé
-
Installer jEdit
* Télécharger la version stable de jEdit (actuellement la jEdit 5.1.0) pour votre système de fonctionnement (version avec installateur)
* Lancer l'installateur
* Choisir le français comme langue
* Bien noter dans quel dossier se trouve le programme. Normalement: C:\Program files\jEdit (sous Windows)
* Installer les Macros et les outils de développement
* “Tâches supplémentaires”: décochez tout
* Installer
Installer le plugin XML
Ouvrir jEdit
Activr le menu Plugins > Gestionnaire des plugins
Aller dans l'onglet 'Installation' et attendre que la liste se charge depuis Internet
Dans le filtre taper XML, aller à la fin de la liste et cocher le plugin 'XML'
ATTENTION: ce plugin dépend d'autre plugins – ne soyez donc pas surpris si quelques autres sont cochés automatiquement
Clicquer sur 'Installer'