Accueil > Gedit > Mes outils > L’installation de mes outils pour Metapost et LaTeX avec Gedit

L’installation de mes outils pour Metapost et LaTeX avec Gedit

dimanche 2 août 2009, par Denis LE FUR

Besoin d’une installation complète de A à Z sous Ubuntu ?


Si c’est votre cas, je vous conseille vivement de lire ceci. Et même pour une installation partielle, vous pourrez facilement adapter.

Vous pourrez non seulement installer mes outils pour Gedit mais aussi tout ce qui tourne autour de professor, professorGUI.

La suite de cet article sert néanmoins d’explication pour mieux comprendre les étapes de l’installation.

Pré-requis


- Avoir installé les paquets de la texlive. Ne pas hésiter par installer la texlive-full pour commencer, quitte à enlever ensuite quelques paquets inutiles comme les langues.
- Avoir installé le logiciel Xcas/Giac de bernard Parisse.
- Si vous n’avez pas de texmf perso, en voici un. Il faut suffit de décompresser l’archive texmf.zip dans votre home et de lancer un petit mktexlsr.

Installation des outils de compilation et d’édition


- Télécharger le fichier gedit.zip.
- Extraire cet archive et en vérifier le contenu : snippets et extraits de code. Attention : si vous avez vos propres raccourcis, vous devez supprimer la partie snippets/ pour qu’elle n’écrase pas vos propres fichiers.
- Recopier le dossier gedit/ dans le dossier .config situé dans son dossier personnel. Si ce dossier n’existe pas encore, le créer.

Activation des greffons nécessaires de Gedit


- Dans Gedit, aller dans "Edition-> Préférences"
- Choisir l’onglet "Greffons".
- Cocher les greffons :

  • Outils externes
  • Extraits de code

A noter que Gedit dispose d’un greffon "LatexPlugin" permettant de faciliter l’édition et la compilation de documents LaTeX. Libre à vous de l’installer ou nous. Personnellement, il ne me sert pas et encombre la fenêtre Gedit d’une barre d’outils supplémentaire.

Personnalisation de l’installation


Après avoir redémarré Gedit, vous pourrez désormais accéder facilement à ces outils pour les modifier si besoin.

Dans le menu "Outils" apparaissent les outils de compilation. Vous pourrez les modifier ou en créer d’autres en accédant à "Outils->Outils externes".

De même, dans le menu "Outils->Gérer les extraits de code", vous aurez accès à tous les raccourcis déjà présents.

Prise en charge du langage Metapost par Gedit


Metapost n’est pas un langage initialement reconnu par Gedit. Cependant, on peut simplement le rajouter. Cela permettra notamment de disposer d’une coloration syntaxique.

Les fichiers nécessaires sont ici.

- Copier le fichier metapost.lang dans le répertoire : /.local/share/gtksourceview-3.0/language-specs . On créera si besoin ce répertoire.
- Copier metapost.xml dans le répertoire : /.local/share/mime/packages
- Ouvrir un terminal et lancer les commandes suivantes :

cd .local/share/
update-mime-database mime
SPIP | | Plan du site | Suivre la vie du site RSS 2.0