Microsoft Edge [risolto]

molti lettori .pdf (o browser che sia) compiono un autorefresh.
non si tratta di una “riscrittura” da parte di LaTeX,
ma del fatto che il lettore pdf rilegge il file appena ricompilato

m

samiel” post=120720molti lettori .pdf (o browser che sia) compiono un autorefresh.
non si tratta di una “riscrittura” da parte di LaTeX,
ma del fatto che il lettore pdf rilegge il file appena ricompilato

m

Si. Confermo.
Sotto Linux è una cosa a cui gli utenti sono abituati: il lettore pdf aperto sul file “si accorge” che il file è cambiato e lo ricarica automaticamente.
Comunque è una nota di una qualche utilità per gli utenti Windows.
Quindi grazie.
R.

se io lancio pdflatex e il file pdf è aperto, la compilazione si blocca

non uso windows, ma questo mi pare alquanto strano …
che avvisi ricevi?

m

io da linux compilo da shell e, pur con il pdf aperto,
non riscontro affatto il problema. anzi, mi si aggiorna
in automatico la visualizzazione del .pdf

m

samiel” post=120730io da linux compilo da shell e, pur con il pdf aperto,
non riscontro affatto il problema. anzi, mi si aggiorna
in automatico la visualizzazione del .pdf

m

Si, in Linux (almeno le distro che conosco) l’applicazione che apre il file in visualizzazione, non impone il lock.
Perciò in Windows è normale che il compositore TeX, che sia LuaLaTeX o pdfLaTeX, non possano aprire il file pdf in scrittura e quindi bloccano la compilazione chiedendo all’utente il nome del file pdf alternativo.
Evidentemente, Edge si comporta (il plug-in per i pdf) allo stesso modo che un visualizzatore Linux, legge il file e rilascia la risorsa così che possa essere sovrascritta dal compilatore, e lo ricarica automaticamente se esso cambia.
Con Acrobat Reader sotto Windows questo non succede. Così, ogni tanto, quando si vuole controllare il pdf compilato e si dimentica di chiudere il visualizzatore, si riceve l’errore nel momento della ricompilazione.
R.

davidebond” post=120734Esatto. Anche con Foxit Reader. Ma dire che in linux il file pdf si aggiorna al momento della compilazione non è la stessa cosa che dire che lo sovrascrive ? Altrimenti, avrei file.pdf, file1.pdf, file2.pdf, ecc.

Grazie e ciao,

Davide

No. Il visualizzatore del pdf non scrive il file. Lo carica, visualizzandolo a schermo, e controlla se qualche altro processo lo sovrascrive. A quel punto lo ricarica, mostrando il nuovo file all’utente.
Più che un fatto di sistema operativo, ragionandoci, è più una caratteristica dei programmi di visualizzazione che si avvalgono del sistema operativo in quel modo.

Ho appena provato con un file di testo, aprendolo contemporaneamente con Kate e Gedit in Ubuntu.
Se salvo una modifica in uno dei due editor, nell’altro, nel momento in cui ridiventa finestra attiva, compare un messaggio che chiede all’utente se vuole o meno ricaricare la nuova versione modificata.
Il principio è lo stesso. Kate mi propone addirittura la visualizzazione delle differenze.
Si tratta di una prova che invito a fare anche in Windows con due editor di testo.

Evidentemente, con i file di testo che sono i file che vengono più facilmente modificati, conviene non ricaricare subito la nuova versione, ma lasciare questa decisione all’utente.
Il pattern implementato è quello di Osservatore/Osservato. Quando l’osservato è modificato, notifica a tutti gli osservatori che è avvenuto il cambiamento.

Probabile che nelle prime versioni di Windows il sistema operativo non fosse così sofisticato così che gli utenti quando scoprono che oggi la cosa è possibile, ciò suscita in loro sorpresa.
Un saluto a tutti.
R.