Re: installazione font

Nel tuo primo messaggio lo script conteneva`! grep -q “Map pig.map” $BASEDIR/web2c/updmap-local.cfg \
&& echo “Map pig.map” >> $BASEDIR/web2c/updmap-local.cfg

mktexlsr
tlmgr generate updmap
updmap-sys`
Nel nuovo script hai cambiato le prime due righe, ma sotto hai tolto `tlmgr generate updmap` che non serve più?