La via del ronin

Per la serie "trasformiamo la vostra pigrizia in una virtù" ecco a voi finalmente dopo una lunga filza di lamentele qualcosa di utile.

Ammettiamo che anche voi, come lui, apprezziate la resa a schermo dei tipi di carattere Droid¹. Ottima scelta, non c'è che dire, ma pensate veramente che il miglior modo per averli sullo schermo sia:

1. installare i file TTF (sotto /usr/share/fonts o sotto $HOME/.fonts)
2. aprire lo strumento di preferenze Aspetto
3. andare alla scheda Tipi di carattere
4. cambiare il tipo di carattere usato per quattro volte
5. ripetere eventualmente l'operazione di cambio nelle applicazioni di terze parti come Firefox o OpenOffice.org
6. ???

Certo che no, esiste un modo molto molto molto più smart. Il passo 1, ovviamente, non può essere scavalcato. I passi da 2 a 6 possono essere rimpiazzati dalla semplice apertura di un file di testo, dal copia-incolla del testo che segue e dal salvataggio con nome .fonts.conf (ovviamente nella home):

<?xml version="1.0"?>
<!DOCTYPE fontconfig SYSTEM "fonts.dtd">
<!-- ~/.fonts.conf for per-user font configuration -->
<fontconfig>
<alias>
<family>serif</family>
<prefer>
<family>Droid Serif</family>
</prefer>
</alias>

<alias>
<family>sans-serif</family>
<prefer>
<family>Droid Sans</family>
</prefer>
</alias>

<alias>
<family>monospace</family>
<prefer>
<family>Droid Sans Mono</family>
</prefer>
</alias>
</fontconfig>

Il vantaggio di una cosa così complicata? Semplice: in primo luogo non dovete andare a cambiare la configurazione, potete lasciare Sans come font (che poi è quello usato in modo predefinito e di ripiego in tutte le applicazioni) e il sistema si occuperà di "tradurre" (o sostituire) automaticamente Sans in Droid Sans (così come per Mono). In secondo luogo è necessaria una sola modifica invece di N+M in N diversi dialoghi di configurazione. In terzo luogo uniformate anche i caratteri con grazie (e la vostra vista vi ringrazierà mentre navigate sul web). In quarto luogo è una soluzione scalabile (metti che in futuro vi venisse da dire "miiiii, che belli che sono i nuovi font di Windows7, li voglio usare con Linux") perché basta cambiare i valori dei tag &lt:family>. In quinto luogo è assolutamente geekoso e ve ne potrete vantare con gli amici giù al bar.

Su come fare la stessa cosa a livello di sistema non mi pronuncio: si tratta sempre di scrivere un file con lo stesso contenuto, ma la posizione e il nome di file più adatto può dipendendere la distribuzione a distrubuzione.

E poi... mica posso fa' tutto io qua dentro? Se non fossi stato pigro ab origine, mica avrei potuto svelarvi un trucco del genere...

[1] io li ho scoperti tanto tanto tempo fa grazie a Remo, ma non posso più provarlo perché a quanto pare Remo è diventato povero in canna, di fango è la sua capanna e gli hanno chiuso l'account su netson per insolvenza....