Re: installazione font

In questo caso il comando grep cerca se in …/updmap.cfg
è già presente i nome della mappa da aggiungere, al fine
di evitare doppioni, e se non la trova la inserisce. Tutto qui…
Ma per il resto, tu che comandi dai nell’installare un nuovo fonts?

M