::
@carpelle ho la sensazione che tu non abbia ben chiaro che cosa fa Texmaker e dove prenda il file Prova.pdf.
Ricapitolo: Tu hai un file Prova.tex; lo compili cliccando l’opportuna voce di menù di Texmaker, poi clicchi su un’altravoce di menù di TeXmaker per visualizzare il file Prova.pdf, i cui nome ti appare nella cornice superiore del visualizzatore.
È così che hai fatto?
Suppongo di sì. Allora domandati: dove ha preso il file Prova.pdf il visualizzatore di Texmaker?
La risposta è semplice se cerchi di ricordarti che TeXmaker è solo un editor di testi e non ha niente a che vedere con la compilazione attraverso i programmi di compilazione del sistema TeX. È solo un editor più o meno intelligente, che esegue per te le operazioni che altrimenti dovresti fare scrivendo certi comandi in una finestra chiamata terminale, xterm, prompt dei comandi, a seconda del sistema operativo del tuo calcolatore.
Non è Texmaker che crea il file .pdf; questo è creato dal programma pdflatex che Texmaker attiva per conto tuo quando clicchi sull’apposita voce di menù.
Allora dopo questo “sproloquio”, dov’è il file PDF? nella stessa cartella dove risiede il tuo file Prova.tex; apri l’Explorer, o il Finder, o comunque si chiami il programma del tuo sistema operativo per vedere il tuo file system, e vedere che cosa c’è dentro alle innumerevoli cartelle che lo costituiscono.
Se per caso stai lavorando su una piattaforma Windows, è possibile che tu non abbia configurato il tuo Explorer in modo che mostri sempre per ogni file la sua estensione; Windows da molti anni (quindi da molte versioni prima di Win10) non mostra di default le estensioni dei file che “conosce”, ciò a cui ha associato un programma per aprirlo; quindi non mostra le estensioni dei file pdf perché sa come aprirli col suo visualizzatore interno. Allora configura Explorer in modi che mostri sempre e comunque l’estensione di ogni file; come si faccia dipende dalla versione del tuo Explorer, ma in pratica devi modificarne le proprietà: se arrivi ad aprirne la finestra di dialogo che mostra tutte le proprietà che puoi configurare, ne trovi una che ha accanto una scritta del tipo “nascondi l’estensione per i file noti” (cito a memoria, perché sono passati almeno 10 anni dall’ultima volta che ho messo le mani sun una macchina Windows); togli il segno di spunta e conferma la tua nova impostazione; da quel momento tutti i file avranno la loro estensione mostrata in chiaro e non la devi indovinare dall’immaginetta che è associata a quella estensione.
.
