Continuons à installer les plugins avec ErrorList.
ErrorList fait partie des plugins nécessaires pour installer d'autres plugins, en particulier dans ce cas précis, le plugin console qui permet de disposer d'une console shell dans JEdit. Avec console, vous pouvez par exemple visualiser le résultat du buffer en cours avec un navigateur comme Mozilla ou Internet Explorer.
Téléchargez le ici :
Puis installez le comme le précédent. (Décompressez le dans le dossier jars situé dans votre rep. D'installation de JEdit), redémarrez JEdit et vérifier que dans plugins, vous avez maintenant ErrorList.
Installez maintenant le plugin "console" dispo ici :
Relancez JEdit et vérifiez que vous disposez bien de "console" dans les plugins.
La console est un élément fondamental dans JEdit. Elle nous permettra plus tard de réaliser bcp d'opération mettant en jeu les macros par exemple. Il convient donc de l'afficher de manière permanente dans JEdit.
Allez dans Utilities/Global Options/Docking, puis en face de console, sélectionnez bottom pour mettre la console en bas.
Testons maintenant la console pour vérifier qu'elle fonctionne correctement.
Ouvrez un fichier .html avec JEdit.
Dans la console, Si vous avez Internet Explorer, tappez :
C:\PROGRA~1\INTERN~1\IEXPLORE.EXE ${f}
Comme vous pouvez le constater, les noms sont des noms DOS. Si un nom fait plus de 8 caractères, on garde les 6 premiers en majuscules, puis on ajoute ~1 (ou 2 ou 3) si ils existent plusieurs dossiers avec un nom comportant les mêmes 6 premiers caracères.
Dans ma ligne d'exemple, ${f} signifie : chemin_du_buffer_en_cours/buffer.
C'est une variable d'environnement de JEdit. Il y en a d'autres que nous verrons plus tard. Sachez que la console est entièrement controlable avec les macros et c'est surtout comme cela que nous utiliserons la console à l'avenir.