18 Luglio 2007 alle 14:51
#15335
::
ho finalmente risolto il problema; probabilmente può essere considerato un bug:
la mia variabile d’ambiente $HOME era impostata a /home/antonio/; il tutto funziona con $HOME=/home/antonio
il problema sta proprio in quella barra in più che fa diventare i percorsi utente una cosa del genere:
/home/antonio//.tex-config
/home/antonio//texmf
etc.
il parsing di questi percorsi viene inteso come:
/home/antonio
e provoca quindi l’inizio di una scansione di tutta la cartella home. Spero che a qualcuno possa servire: grazie dell’aiuto!