File DVI

DVI significa file indipendente dal dispositivo (DeVice Independent). Questi file sono prodotti da TEX o LATEX per essere letti da un driver sul tuo sistema. Ci sono molti tipi diversi di output a cui si può inviare un .dvi, come una stampante, un convertitore a file postscript o PDF, o lo schermo del tuo computer.

Visualizzare un DVI

Hai già visto come visualizzare un file DVI su schermo usando il pulsante Visualizza DVI nella barra degli strumenti.

Stampare un DVI

Per stampare un DVI, puoi usare lo stesso processo che hai usato per creare il tuo documento prima (vedi the section called “Uso di Kile”). Al passo 7, dopo aver fatto clic su Visualizza DVI, seleziona File->Stampa nel visualizzatore, e se hai configurato correttamente la tua stampante, il file DVI sarà stampato.

Stampare un DVI manualmente

Per stampare manualmente un DVI da Konsole, usa il comando Da DVI a PS nella barra degli strumenti, o scrivi dvips intro.dvi. Il comando convertirà il tuo DVI in un file postscript. Una volta che il tuo file è convertito, puoi stamparlo usando la voce menu File->Stampa nel visualizzatore, o scrivendo in una console lpr intro.ps.

Esportare un DVI

La barra degli strumenti ti dà la possibilità di esportare un DVI a diversi formati. Una volta che hai creato un DVI dal tuo codice sorgente LATEX, dovresti poterlo esportare nel formato di tua scelta usando i pulsanti della barra degli strumenti.