Plugin LaTeX pour Gedit

Tout le monde connaît l'éditeur de texte Gedit, pour l'environnement de bureau Gnome. Cet éditeur de texte est capable de beaucoup de choses, comme la coloration syntaxique (suivant le langage utilisé), et sa capacité à intégrer des greffons et autres plugins pour effectuer des tâches variées, selon les besoins de l'utilisateur.

Pour les utilisateurs de LaTeX, il est possible d'installer un greffon permettant non seulement d'assurer la coloration syntaxique des docuemnts rédigés en LaTeX, mais aussi de transformer Gedit en un véritable petit éditeur LaTeX, comprenant même quelques boutons raccourcis pour certaines opérations, un aide (modeste) à la saisie de commandes, des menus de raccourcis, des assistants, etc.

En somme, ce petit plugin permet de faire de grandes choses. On est certes encore loin de l'assistance que procurent des programmes comme Kile, mais le but de l'éditeur, au regard de sa polyvalence, n'est pas d'être exhaustif.

Sur Ubuntu, à partir de Jaunty, le paquetage gedit-latex-plugin est disponible dans les dépôts (via Synaptics).
Pour les autres, téléchargez simplement la dernière version du plugin sur le site officiel (assurez vous aussi d'avoir installé Rubber).
Placez le contenu de l'archive dans ~/.gnome2/gedit/plugins (~/ est le chemin de votre /home). Il se peut que vous ayez à créer les dossiers /gedit et /plugins.
Redémarrez Gedit, activez le greffon via le menu Edition / Preference / Greffons, et ouvrez un document .tex.

Catégories

Classement des logiciels par activité

Notes

Les logiciels répertoriés ici ne sont pas proposés au téléchargement. Pour chaque notice figure un lien vers le site officiel où vous pourrez trouver toutes les ressources nécessaires.

Liens

Autres logiciels libres