::
si un nuovo terminale … devo inserirla anche nel .profile?
Se la metti nel .profile ce l’hai dopo un logout-login. Deve funzionare; ma devi anche controllare se per caso hai impostato percorsi espliciti degli eseguibili nelle preferenze di Texmaker.
Ciao
Enrico
