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.
Hai già visto come visualizzare un file DVI su schermo usando il pulsante nella barra degli strumenti.
Per stampare un DVI, puoi usare lo stesso processo che hai usato per creare il tuo documento prima (vedi la sezione chiamata “Uso di Kile”). Al passo 7, dopo aver fatto clic su , seleziona -> nel visualizzatore, e se hai configurato correttamente la tua stampante, potrai stampare il file DVI.
Per stampare manualmente un DVI da una console, usa per prima cosa il comando dvips intro.dvi
. Il comando convertirà il tuo DVI in un file postscript. Una volta che il tuo file è convertito, puoi stamparlo usando il comando lpr intro.ps
.
Would you like to make a comment or contribute an update to this page?
Send feedback to the KDE Docs Team