Non riesco a fare la stessa cosa sostituendo a $HOME/texmf una qualsiasi altra directory, ad esempio /scratch/texmf. La ragione è che /home è montata via NFS ed è lenta. In più c’è una quota abbastanza risicata e preferirei usare /scratch.
Si può fare, ma con le dovute precauzioni e considerando che, nel caso di eventuali aggiornamenti del sistema operativo o dei pacchetti installati ti converrà controllare con attenzione se tutto continuerà a funzionare.
Che non sia più semplice mettere nel .bash_profile un comando come
`export TEXMF=/scratch/texmf:$(kpsexpand '$TEXMF')`
invece che riportare tutta la faccenda? Così si lascia il lavoro duro a kpathsea. E non occorre nemmeno dare mktexlsr (nome più appropriato per texhash).
Meraviglie della shell! 😀
Ciao
Enrico