texdoc e nome pacchetto

Ciao a tutti

come noto, `texdoc package`
consente da terminale di visualizzare la documentazione di package.
A volte è sufficente usare una parte del nome. Per esempio, se scrivo texdoc dw ottengo la docuemntazione del file biblatex-dw.pdf.
Se invece scrivo texdoc philosophy, si apre il file Test-philosophy-classic.pdf anziché il file biblatex-philosophy.pdf 👿
È possibile definire un alias per la documentazione? Se sì, come?
(A dire il vero è solo una questione di principio… 😯 )

Con i seguenti comandi al terminale:
`$ mkdir -p ~/Library/texmf/texdoc
$ echo “adjscore /Test-philosophy = -50” >> ~/Library/texmf/texdoc/texdoc.cnf`
Poi scrivi a Manuel Pégourié-Gonnard che prenda provvedimenti. Probabilmente sarebbe proprio il caso che si assegnasse un punteggio negativo a file con “Test” nel nome.

Ciao
Enrico

Ho inviato una mail a Manuel Pégourié-Gonnard, che mi ha prontamente risposto.
texdoc è stato aggiornato. Ora i file con all’interno del nome “test”, “sample” o
“example” vengono considerati secondari da texdoc.
Grazie ad Enrico per le indicazioni.
Scrivendo texdoc philosophy si apre la documentazione.
Ho appena aggiornato TeX Live. Sembra che la versione più recente di texdoc sia nel server di Roma.
In quello svizzero (e altri) c’è attualmente una versione che funziona ancora alla vecchia maniera…:roll:
Mi confermate questo?

Il server svizzero è aggiornato con lieve ritardo rispetto ai mirror ufficiali. In questi giorni sto provando quello di Roma2 e pare funzionante con velocità ragionevole.

Altra novità: uno studente si è offerto di scrivere un prototipo di interfaccia grafica per texdoc; la prima versione dovrebbe essere in Java, in modo che sia automaticamente multipiattaforma, poi si vedrà. L’idea è di affinare l’interfaccia grafica per poi realizzarla con chiamate dirette al sistema operativo nei vari ambienti (Mac OS X, GNU/Linux/X11, Windows :?:).

Ciao
Enrico

Ciao a tutti.
Qualcuno può scrivere, per favore, il link esatto al server di Roma, per aggiornare texdoc? Se copio nella cartella Preferences della TeX Live Utility l’URL che vedo nella lista dei mirror del sito della TeX Live, mi dà list failed.

Dove sbaglio? E che differenza c’è tra mirror e mirror ufficiale? Pensavo che quello svizzero, che ho messo come predefinito, fosse ufficiale.

Ciao
Tommaso

Ciao a tutti.
Qualcuno può scrivere, per favore, il link esatto al server di Roma, per aggiornare texdoc? Se copio nella cartella Preferences della TeX Live Utility l’URL che vedo nella lista dei mirror del sito della TeX Live, mi dà list failed.

Dove sbaglio? E che differenza c’è tra mirror e mirror ufficiale? Pensavo che quello svizzero, che ho messo come predefinito, fosse ufficiale.

http://mirror.ctan.org/systems/texlive/tlnet

Il sito svizzero aggiorna automaticamente, ma solo dopo qualche giorno.

Ciao
Enrico