editlinks - Konfiguration

Hier wird die Konfiguration des Wrapper-Skripts für editlinks beschrieben.

Ort der Konfigurationsdatei

  • globale Konfiguration: /etc/texwrapper.conf
  • lokale Konfiguration: ~/.texwrapper.cfg

Aufbau der Konfigurationsdatei

Beispiel:

[Editor]
# Select your prefered editor
selected: gedit
# Konfigure editor calls
gedit: $FILENAME$[ +$LINENUMBER$]
kile: [--line $LINENUMBER$ ]$FILENAME$

Die Konfigurationsdatei enthält derzeit nur den Abschnitt Editor.

Die Option selected legt den verwendeten Editor fest. Hier dürfen nur Werte verwendet werden, für die eine Konfiguration existiert. Ansonsten fällt das Skript auf gedit als Editor zurück.

Danach werden die Parameter für einen Aufruf des entsprechenden Editors angegeben. Dabei wird der in eckige Klammern [, ] gefasste Teil nur angegebene wird, wenn eine Zeilennummer übergeben wurde. Ausserdem sind folgenden Schlüsselwörter definiert:

  • $FILENAME$: wird durch den Dateinamen ersetzt
  • $LINENUMBER$: wird durch die Zeilennummer ersetzt