::
Ma io ce l’ho in ~/.bashrc, dove peraltro ho anche altri EXPORT
che funzionano regolarmente. E poi, come detto sopra, trovo
l’indicazione corretta con printenv… Mah…
Quello che riporti come risultato di printenv non è affatto corretto.
Ciao
Enrico