9 Maggio 2012 alle 11:57
#61686
::
Elrond” post=72600Una cosa più intelligente di quanto ti abbia detto io: dare il comando
`sudo which kpsewhich updmap`per vedere se root è in grado di vedere quei programmi. È necessario perché immagino che il tuo [tt]updmap-sys[/tt] sia in realtà un alias di [tt]sudo /usr/local/updmap-sys[/tt]. Hai riavviato il sistema dopo aver seguito tutta la procedura descritta da egreg9?
Il comando [tt]sudo which kpsewhich updmap[/tt] non dà nulla. Ho fatto il logout-login necessario.
Ciao
Orlando