Re: Compilare via terminale

#36567
lorenzo.pantieri
Partecipante
    Up
    0
    Down
    ::

    No mi dispiace ma su Linux non è vero […].

    Sorry, ho sbagliato. Mi era stato detto che il comando era
    `gnome-open nomefile`
    (che funziona ovviamente solo con Gnome). Quindi il problema si allarga anche agli utenti di Linux (su Mac il comando “open nomefile” funziona).

    Si tratta di stabilire se esiste una soluzione universale, che vada bene per tutte le distribuzioni di Linux. Se non esiste, potrei sempre cavarmela restando nel vago, con qualcosa del tipo:

    Se si opera dalla linea di comando, per visualizzare il documento è sufficiente scrivere, dopo essersi portati nella stessa cartella del file, “pippo primo.dvi” oppure “pluto primo.pdf”, dove “pipppo” e “pluto” sono programmi che leggono rispettivamente i dvi e i pdf.

    Una cosa del genere (davvero vaga) andrebbe bene anche su Windows. Vediamo se salta fuori qualcosa di meglio.

    Ecco una delle ragioni per cui è questo paragrafetto non è facilissimo da scrivere… 😉

    Ciao,
    L.

    Go to top