Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente Prochaine révision | Révision précédente Prochaine révision Les deux révisions suivantes | ||
td_histoire_numerique:jedit [2014/09/26 10:06] Francesco Beretta [Installation] |
td_histoire_numerique:jedit [2014/09/26 10:13] Francesco Beretta [Installer le plugin XML] |
||
---|---|---|---|
Ligne 24: | Ligne 24: | ||
- | ==== Installer jEdit ==== | + | ===== Installer jEdit ===== |
- | * Télécharger la [[http://www.jedit.org/index.php?page=download|version stable de jEdit]] (actuellement la jEdit 5.1.0) pour votre système de fonctionnement (version avec installateur) | + | * Télécharger la [[http://www.jedit.org/index.php?page=download|version stable de jEdit]] (actuellement la jEdit 5.1.0) pour votre système de fonctionnement (version avec installateur) |
- | * Lancer l'installateur | + | * Lancer l'installateur |
- | * Choisir le français comme langue | + | * Choisir le français comme langue |
- | * Bien noter dans quel dossier se trouve le programme. Normalement: C:\Program files\jEdit (sous Windows) | + | * 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 | + | * Installer les Macros et les outils de développement |
- | * "Tâches supplémentaires": décochez tout | + | * "Tâches supplémentaires": décochez tout |
- | * Installer | + | * Installer |
- | * Installer le plugin XML | ||
+ | ===== 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' | ||
+ | * Dans l'onglet 'Gestion' vous verrez la liste des plugins installés |