Ma poi quando apro un file .dvi la versione è sempre quella vecchia, la 22.40.
Come apri il file? Da interfaccia grafica (cliccando sull’icona del file in konqueror) oppure lanciandolo da console? Nel primo caso, devi spiegare al tuo Desktop Manager quale è il programma predefinito per aprire i .dvi.
Ho installato anche io la versione 22.84.1 per provare come funzionava (e devo dire meglio dell’xdvi che ho sempre conosciuto) ed effettivamente ho visto che l’installazione non è propriamente ‘standard’… Lanciando la procedura standard, mi sono trovato gli eseguibili installati in /usr/local/bin/i686-pc-linux-gnu/ (per te sarà diverso, l’ultima sottocartella dovrebbe avere lo stesso nome dell’”host” identificato da configure). Visto che il nome degli eseguibili esisteva già, per non creare conflitti li ho linkati nella cartella /usr/local/bin/ con nomi diversi:`# cd /usr/local/bin
# ln -s /usr/local/bin/i686-pc-linux-gnu/xdvi xdvik
# ln -s /usr/local/bin/i686-pc-linux-gnu/xdvi-motif.bin .
# ln -s /usr/local/bin/i686-pc-linux-gnu/xdvizilla xdvikzilla`
Così facendo e inserendo /usr/local/bin nella PATH di sistema, potrai richiamare il tuo nuovo xdvi 22.84 con il comando: `$ xdvik nomefile.dvi &`
Spero di essere stato abbastanza chiaro, facci sapere.
PS: nei codici, dove ho usato ‘#’ vuol dire che i comandi sono stati lanciati come superutente, mentre ho usato ‘$’ quando essi potevano essere lanciati anche da utente.