Aller au contenu
Wiki de l'ARHN
Axe de recherche en histoire numérique
LARHRA UMR5190
Outils pour utilisateurs
S'identifier
Outils du site
Outils
Afficher le texte source
Anciennes révisions
Liens de retour
Derniers changements
Gestionnaire de médias
Plan du site
S'identifier
Derniers changements
Gestionnaire de médias
Plan du site
Piste:
•
jedit
td_histoire_numerique:jedit
Ceci est une ancienne révision du document !
Introduction
jEdit
est un éditeur de texte utilisé par les programmeurs.
Il dispose de plugins qui permettent de travailler avec des textes encodés en XML
Il nous sera donc très utile pour encoder des textes selon le standard de la
Text encoding initiative
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é
Dans ce cas, aller sur le
site JAVA d'Oracle
et installer java
td_histoire_numerique/jedit.1411717828.txt.gz
· Dernière modification: 2014/10/29 12:03 (modification externe)
Outils de la page
Afficher le texte source
Anciennes révisions
Liens de retour
Haut de page
Exportation ODT
ODT import