Hallo Sabrina,
zum Aufsuchen bestimmter Quelltextstellen hatte ich mir ein kurzes shell script geschrieben, vielleicht nützt es Dir ja auch etwas:
Code:
#!/bin/bash
# texgrep - searches for a text pattern contained in files
# located inside the texmf trees
# usage: texgrep pattern [extension]
# usage examples:
# texgrep phantomsection sty
# texgrep \\\\def\\\\phantomsection
# Stefan Kottwitz, 2008
for path in TEXMFMAIN TEXMFDIST TEXMFHOME
do
find `kpsewhich --var-value=$path` -name "*$2" | xargs grep $1
done
In diesem Fall rief ich es so auf:
Code:
texgrep \\\\def\\\\dotfill
und erhielt als Ausgabe:
Code:
/usr/share/texmf/tex/context/base/math-pln.tex:\def\dotfill
/usr/share/texmf-texlive/tex/latex/gmdoc/gmdoc.sty:% \def\dotfill{\leaders\hbox
to.6em{\hss .\hss}\hskip\z@ plus 1fill}%
/usr/share/texmf-texlive/tex/latex/base/doc.sty:\def\dotfill{\leaders\hbox
to.6em{\hss .\hss}\hskip\z@ plus 1fill}%
/usr/share/texmf-texlive/tex/latex/base/latex.ltx:\def\dotfill{%
/usr/share/texmf-texlive/tex/plain/base/plain.tex:\def\dotfill{\cleaders
\hbox{$\m@th \mkern1.5mu.\mkern1.5mu$}\hfill}
Jetzt brauchte ich nur noch gedit `kpsewhich latex.ltx` aufzurufen. Wobei ich auch hierfür in einem winzigen shell script stehen habe:
Code:
#!/bin/bash
# texedit - find one or several tex related files and open them to edit
gedit `kpsewhich $@`
und
Code:
texedit latex.ltx plain.tex
aufrufe, um die beiden Dateien zu öffnen, wo auch immer sie im texmf Baum liegen.
Ich verwende es so unter Ubuntu Linux 8.04 mit TeXlive.
Viele Grüße,
Stefan
Lesezeichen