LaTeX einfach gemacht

Neben den offiziellen Plugins existieren mehr als 25 weitere. Ein sehr umfangreiches davon ist das LaTeX-Plugin, das das Schreiben von Dokumenten für das Satzsystem selbst für Einsteiger überaus einfach gestaltet. Das Plugin zu installieren erfordert momentan noch etwas Handarbeit: Erstellen Sie dazu unter ~/.gnome2/gedit/ mit mkdir plugins ein Unterverzeichnis. Laden Sie von Gnome Live den Tarball [4] herunter, und entpacken Sie ihn ins gerade erstellte Verzeichnis.

Möchten Sie ein Dokument direkt aus dem Editor heraus übersetzen, brauchen Sie zusätzlich das Paket Rubber [5]. Es stellt eine Python-Schnittstelle zum LaTeX-System zur Verfügung, die Befehle an dieses absetzt oder die Ausgabe aufbereitet.

Läuft beim Auspacken und Installieren des Plugins alles glatt, aktivieren Sie das LaTeX-Plugin unter Einstellungen. Es erscheint eine neue Werkzeugleiste, die wichtigste LaTeX-Befehle als Icons darstellt. Um ein neues Dokument zu erstellen, klicken Sie auf das erste Icon der Leiste. Im nun erscheinenden Dialog wählen Sie unter anderem den Titel, den Autor und die Art des Dokuments aus (Abbildung 6).

Abbildung 6: Das LaTeX-Plugin ist eine der umfangreichsten Erweiterungen für Gedit.

In einem neuen Reiter erscheint die Vorlage für ein Dokument. Der entsprechende Reiter in der Seitenleiste enthält die gängigsten griechischen Zeichen und mathematischen Symbole. Ein Klick darauf fügt das entsprechende Symbol oder Zeichen an der aktuellen Cursorposition in den Text ein.

Das Plugin verfügt zusätzlich noch über eine weitere äußerst nützliche Eigenschaft: Es bietet LaTeX-Tags in einer Dropdown-Liste an, die erscheint, wenn Sie [\]+[Buchstabe] eingeben. Ähnlich wie in IDEs gibt der Listeneintrag zusätzlich an, welche Parameter das Tag erwartet. Das erspart lästiges Suchen auf den einschlägigen Hilfeseiten im Internet.

Möchten Sie sehen, was Sie bisher geschrieben haben, bietet Gedit ganz rechts in der LaTeX-Werkzeugleiste einen Schalter an, mit dem Sie den LaTeX-Quelltext in ein PDF-, PS- und DVI-Dokument umwandeln oder als Grafik exportieren.

Sollte sich ein Fehler eingeschlichen haben, markieren Sie die fehlerhafte Textpassage in Evince, dem Gnome-eigenen PS- und PDF-Betrachter, und drücken im Anschluss im Gedit-Fenster [Strg]+[Umschalt]+[Q]. Das Plugin ist dabei so intelligent, dass es selbst Sonderzeichen findet – jedoch keine mathematischen Symbole.

Das Feature scheint jedoch nicht ohne Grund als experimentell gekennzeichnet: Beim Testlauf auf einem Rechner in der Redaktion unter Ubuntu "Egdy Eft" schlug die Invers-Suche prompt fehl.

Fazit

Gedit hat sich zu einer echten Alternative auf dem Markt befindlicher Editoren gemausert. Der Artikel deckt nur einen Bruchteil dessen ab, was der Editor wirklich zu leisten vermag. Dank der fortschrittlichen Plugin-Architektur, die es erlaubt, Erweiterungen sowohl in C als auch Python zu schreiben, gibt es bereits knapp 50 Plugins. Es existieren bereits Erweiterungen [6], die Gedit in eine kleine Python-IDE verwandeln. Planungen über die zukünftige Entwicklung finden Sie auf der Gedit-Homepage [7].

Infos

[1] Informationen zu Gedit-Schnipseln: http://live.gnome.org/Gedit/Plugins/Snippets

[2] Informationen zu externen Werkzeugen: http://live.gnome.org/Gedit/ToolLauncherPlugin

[3] Gedit-plugins-Paket: http://live.gnome.org/GeditPlugins

[4] LaTeX-Plugin für Gedit: http://live.gnome.org/Gedit/LaTeXPlugin

[5] Rubber: http://www.pps.jussieu.fr/~beffara/soft/rubber/

[6] Weitere Plugins: http://www.stambouliote.de/projects/gedit_plugins.html

[7] Roadmap zu Gedit: http://live.gnome.org/Gedit/RoadMap

LinuxCommunity kaufen

Einzelne Ausgabe
 
Abonnements
 

Ähnliche Artikel

  • Coole TeXnik
    Anders, als es ein verbreitetes Vorurteil wissen will, lässt sich LaTeX auch ohne Profiwissen beherrschen: Clevere LaTeX-Editoren machen's möglich.
  • Tipps und Tricks zu Gnome
    Gnome ist neben KDE die zweite große Desktopumgebung für Linux. In den Gnome-Tipps stellen wir regelmäßig Nützliches und Praktisches für die alternative grafische Oberfläche vor.
  • Gnome-Tipps
    Gnome ist neben KDE die zweite große Desktopumgebung für Linux. In den Gnome-Tipps stellt EasyLinux regelmäßig nützliche Kniffe und praktische Tools für die alternative grafische Oberfläche vor.
  • Tipps und Tricks zu Gnome
    Gnome ist neben KDE die zweite große Desktopumgebung für Linux. In den Gnome-Tipps stellen wir regelmäßig Nützliches und Praktisches für die alternative grafische Oberfläche vor. Wir stellen Tricks für die dritte Generation des Desktops vor: die Gnome Shell.
  • Gnome-Tipps
    Gnome ist neben KDE die zweite große Desktopumgebung für Linux. In den Gnome-Tipps stellen wir regelmäßig Nützliches und Praktisches für die alternative grafische Oberfläche vor.
Kommentare

Infos zur Publikation

LU 08/2015: Cloud-Speicher

Digitale Ausgabe: Preis € 4,95
(inkl. 19% MwSt.)

Mit der Zeitschrift LinuxUser sind Sie als Power-User, Shell-Guru oder Administrator im kleinen Unternehmen monatlich auf dem aktuelle Stand in Sachen Linux und Open Source.

Sie sind sich nicht sicher, ob die Themen Ihnen liegen? Im Probeabo erhalten Sie drei Ausgaben zum reduzierten Preis. Einzelhefte, Abonnements sowie digitale Ausgaben erwerben Sie ganz einfach in unserem Online-Shop.

NEU: DIGITALE AUSGABEN FÜR TABLET & SMARTPHONE

HINWEIS ZU PAYPAL: Die Zahlung ist auch ohne eigenes Paypal-Konto ganz einfach per Kreditkarte oder Lastschrift möglich!       

Tipp der Woche

Grammatikprüfung in LibreOffice nachrüsten
Grammatikprüfung in LibreOffice nachrüsten
Tim Schürmann, 24.04.2015 19:36, 0 Kommentare

LibreOffice kommt zwar mit einer deutschen Rechtschreibprüfung und einem guten Thesaurus, eine Grammatikprüfung fehlt jedoch. In ältere 32-Bit-Versionen ...

Aktuelle Fragen

Plugins bei OPERA - Linux Mint 17.1
Christoph-J. Walter, 23.07.2015 08:32, 0 Antworten
Beim Versuch Video-Sequenzen an zu schauen kommt die Meldung -Plug-ins und Shockwave abgestürzt-....
Wird Windows 10 update/upgrade mein Grub zerstören ?
daniel s, 22.07.2015 08:31, 5 Antworten
oder rührt Windows den Bootloader nicht an? das ist auch alles was Google mir nicht beantw...
Z FUER Y UND ANDERE EINGABEFEHLER AUF DER TASTATUR
heide marie voigt, 10.07.2015 13:53, 2 Antworten
BISHER konnte ich fehlerfrei schreiben ... nun ist einiges drucheinander geraten ... ich war bei...
PCLinuxOS lässt sich nicht installieren
Arth Lübkemann, 09.07.2015 18:53, 6 Antworten
Hallo Leute, ich versuche seit geraumer Zeit das aktuelle PCLinuxOS KDE per USB Stick zu insta...
Fernwartung oder wartung im haus
heide marie voigt, 29.06.2015 10:37, 2 Antworten
gerne hätte ich jemanden in Bremen nord, der mir weiter hilft - angebote bitte mit preis HMVoigt