Re: ricerca avanzata con plain TeX

#615
Up
0
Down
::


Alla luce delle ultime precisazioni, ecco aggiornata la procedura per la ricerca inversa e in avanti.

😯 Ricerca inversa e in avanti per plain TeX e LaTeX,
con xdvi ed Emacs,
in Mandrake Linux 9.0.

0)Hai controllato l’effettiva presenza di emacs? Riesci a lanciarlo? In quanto segue assumo di sì.
1)Usa emacs per modificare il file .emacs: digita

emacs ~/.emacs

dalla Shell di Linux.
2)Vai in fondo al file (potrebbe verosimilmente essere vuoto: nessun problema) e aggiungi le righe

(add-to-list ‘load-path (expand-file-name “~/lib/emacs”))
(require ‘xdvi-search)
(add-hook ‘LaTeX-mode-hook (lambda () (local-set-key “\C-x\C-j” ‘xdvi-jump-to-line)))
(add-hook ‘tex-mode-hook (lambda () (local-set-key “\C-x\C-j” ‘xdvi-jump-to-line)))
(server-start)

lasciando vuota l’ultima riga del file, poi salva il file e esci da emacs.
3)Dalla Shell di Linux impartisci i comandi

mkdir -p ~/lib/emacs (invio)

e copia, nella directory ~/lib/emacs che hai appena creata, il file xdvi-search.el che troverai
all’indirizzo
http://cvs.sourceforge.net/cgi-bin/viewcvs.cgi/xdvi/xdvik/texk/xdvik/xdvi-search.el?rev=1.2.4.7
4)Apri il tuo file sorgente impartendo, sempre dalla Shell di Linux, il comando

emacs ~/…/filename.tex (invio)

(i puntini sospensivi qui stanno a indicare la porzione del path che viene dopo /home/tizio/)
e inserisci all’inizio del file il comando

\input /usr/share/texmf/tex/latex/srcltx/srctex.sty

se stai usando plain TeX, ovvero il comando

\usepackage[active]{srcltx}

se stai usando LaTeX. Inoltre, se stai usando plain TeX e se il tuo file sorgente \`e un file
“principale” che include altri file, al posto di \input devi dire \Input{},
con la I maiuscola e le parentesi graffe.
Aggiungi poi in fondo al file le righe

%%% Local Variables:
%%% mode: latex
%%% TeX-master: “~/…/filename.tex”
%%% End:

quindi salva il file, chiudilo e poi riaprilo.
5)Apri una nuova Console di Shell, col comando cd accedi alla directory che contiene i due file, quello
sorgente e quello .dvi, e impartisci il comando

xdvi -editor “emacsclient –no-wait +%l %f” filename.dvi (invio).

6)Esegui prima la ricerca inversa: in un punto qualsiasi del file .dvi clicca Ctrl-mouse-1 e voilà:
la ricerca inversa.
7)Ora la ricerca in avanti: in un punto qualsiasi del file sorgente batti
Ctrl-x Ctrl-j
e voilà: la ricerca in avanti.

Saluti,
Rodolfo

Go to top