Gummi est un éditeur LaTeX écrit en GTK, donc pour Gnome, très similaire à DeSiGLE, qui met à disposition un simple éditeur de texte qu’il reconnaît la syntaxe du langage LaTeX et une fenêtre où visualiser l’aperçu PDF de ce que vous êtes en train d’écrire. L’aperçu du PDF est générée automatiquement et chaque changement que vous effectuez au code il est visualisé immédiatement.
Afin d’utiliser Gummi sur Ubuntu, téléchargez et installez le paquet suivant : gummi_0.3b-0ubuntu1_all.deb
L’installation terminée, vous le trouvez dans le menu des applications sous la voix « Bureautique>Gummi ».
À l’ouverture le programme se présente ainsi:
Dans la partie gauche de la fenêtre vous trouvez la section d’édition avec déjà écrit le squelette d’un document pour vous donnez le bienvenu. Dans la fenêtre de Gummi en bas à gauche vous trouvez trois onglets, le premier est l’éditeur tandis que les autres servent respectivement pour insérer aisément une image et un tableau.
Dans la partie droite de la fenêtre ils sont présent deux onglets, « Preview Pane » est pour voir l’aperçu du document PDF généré par le code LaTeX tandis que dans l’onglet « Error output » vous pouvez visualiser le résultat de la traduction en PDF du code source LaTeX.
En allant sur « Tools>Préférences », dans l’onglet « Editor Pane » vous pouvez choisir si activer le retour à la ligne, montrer les numéros de ligne, etc.
Dans l’onglet « Default Text » vous pouvez insérer le code LaTeX qui sera introduit automatiquement dans le document vide.
J’ai surtout trouvé très utile l’aperçu du PDF automatique quand il y a des documents avec plusieurs pages, Gummi il permet de voir les modifications faites immédiatement en cherchant la page d’intérêt avec les boutons « Back » et « Forward » et en faisant aussi le zoom dans la zone d’intérêt.
Si vous voulez avoir des autres renseignements visitez le site du projet à l’adresse suivante : http://gummi.midnightcoding.org/
octobre 16th, 2010 à 15 h 46 min
Ah non, en fait, il est encore mieux celui ci.
(par contre, le lien pour le téléchargement est mort.)
octobre 16th, 2010 à 15 h 56 min
@ Nikhoss :
ah, merci… l’article est un peu vieux…
Pour installer Gummi sur Ubuntu il faut ajouter le dépôt :
sudo add-apt-repository ppa:gummi/gummi
Quand j’aurai le temps je mettrai à jour cet article.