Re: TeXdoc Graphic

#49547
Up
0
Down
::

Salve a tutti!
Grazie mille per le prove che state facendo.
Il messaggio riguardante la versione non corretta del comando texdoc compariva anche a me, tuttavia solo quando testavo l’applicazione su MacOSX.
L’errore, che all’inizio anche a me sembrava essere un problema dato da una sorta di ‘inerzia’ da parte della JVM, non si è più ripresentato dopo aver aggiunto il file .MacOSX/environment.plist una voce String chiamata PATH con il seguente contenuto
`/usr/bin:/bin:/usr/sbin:/sbin:/usr/local/bin:/usr/local/texlive/2009/bin/universal-darwin:/usr/X11/bin`
Il problema infatti, più che un’inerzia da parte della JVM (che comunque sembra essere presente), era che l’applicazione alla partenza non aveva nelle variabili d’ambiente il path del comando texdoc e quindi non lo trovava.

Questa non è un’ottima notizia, sarebbe meglio se il programma si gestisse da sé il PATH, aggiungendo a scanso di equivoci “/usr/texbin”, almeno su Mac OS X. MacTeX, infatti, crea un link simbolico “/usr/texbin” che punta alla directory degli eseguibili e così non c’è bisogno di conoscerla esplicitamente.

Per gli utenti GNU/Linux il problema non si pone, almeno se usano i pacchetti TeX della propria distribuzione, che mettono gli eseguibili in /usr/bin o /usr/local/bin, sempre presenti nel PATH di sistema. Se un utente GNU/Linux installa una distribuzione autonoma, dovrebbe essere in grado di impostare una preferenza di TeXdocGraphic in cui registrare la directory degli eseguibili da aggiungere. Non dovrebbero esserci problemi sotto Windows, perché MiKTeX e TeX Live si registrano nel PATH di sistema.

Agire su environment.plist non è proprio la manovra adatta all’utonto. 🙂 Ah, sui miei sistemi /usr/texbin è presente in quel file e questo sembra spiegare perché di solito il programma funziona; le rare volte che sbanda potrebbero dipendere dal ritardo della JVM.

Ciao
Enrico

Go to top