Ho cancellato un font di troppo

[andy]

Ciao a tutti.
Sulla mia Mint 18 mate ho fatto un po di pulizia di font: sotto il risultato.



Quale potrebbe essere quello mancante?

[CUB3]

Ti succede solo su browser (Firefox, giusto??) o anche su altri programmi?
Non è che hai installato uBlock Origin e hai impostato il blocco dei font remoti??

[PippoDJ]

Ciao andy,

Quale potrebbe essere quello mancante?

Questo: fonts-font-awesome.
Oppure abilita "Permetti alle pagine di scegliere i propri caratteri invece di quelli impostati" nel tuo browser.

Ciao, Pippo.

[andy]

Ciao andy,

Quale potrebbe essere quello mancante?

Questo: fonts-font-awesome.
Ciao, Pippo.

Yeppaaaa: mille grazie, era proprio lui.
Come facevi a saperlo?

PS: ho visto che awesome è "window manager per X altamente configurabile" e la cosa mi interessa, ma saremmo OT

[andy]

Ho esultato troppo presto.
I pulsanti nel forum ci sono, ma manca ancora qualcosa: vedi sotto

[PippoDJ]

Yeppaaaa: mille grazie, era proprio lui.
Come facevi a saperlo?

Ho cercato nel web il codice visualizzato nella prima icona mancante ("F032") + il nome di quello che avrebbe dovuto rappresentare ("Bold") e sono arrivato a questa pagina: http://fontawesome.io/icon/bold/

PS: ho visto che awesome è "window manager per X altamente configurabile" e la cosa mi interessa, ma saremmo OT

Eh?!

Ho esultato troppo presto.

E' un po' difficile pretendere di installare a priori nel proprio sistema tutti i vari font che potrai incontrare nei siti web... sarebbe più semplice:

Oppure abilita "Permetti alle pagine di scegliere i propri caratteri invece di quelli impostati" nel tuo browser.

o verificare quanto suggerito da CUB3:

Non è che hai installato uBlock Origin e hai impostato il blocco dei font remoti??

Ciao, Pippo.

[andy]

PS: ho visto che awesome è "window manager per X altamente configurabile" e la cosa mi interessa, ma saremmo OT

Eh?!

Nel mio gestore pacchetti ho la voce awesome da sola che come descrizione ha quella, ma non ne avevo mai sentito parlare.

E' un po' difficile pretendere di installare a priori nel proprio sistema tutti i vari font che potrai incontrare nei siti web... sarebbe più semplice:
abilita "Permetti alle pagine di scegliere i propri caratteri invece di quelli impostati" nel tuo browser.

Ovviamente: il fatto che il problema si è verificato proprio dopo una pulizia dei font. Purtroppo cercando in rete non sono riuscito a trovare una pagina che elencasse tutti i font di default della mia distro (Mint 18) e nel browser non ho trovato dove mettere quella impostazione: mi fa scegliere solo tra i vari font installati (Firefox 52)

o verificare quanto suggerito da CUB3:

Non è che hai installato uBlock Origin e hai impostato il blocco dei font remoti??

No, i font remoti non sono bloccati, ma ci potrebbe essere una lista che li blocca?

[PippoDJ]

nel browser non ho trovato dove mettere quella impostazione: mi fa scegliere solo tra i vari font installati (Firefox 52)

Nel mio Firefox (per Windows) si trova in Opzioni > Contenuti > Caratteri e colori > Avanzate... > Permetti alle pagine di scegliere i propri caratteri invece di quelli impostati. Non saprei dire in Firefox per Linux.

[andy]

E' nello stesso percorso, ma è già abilitato.
Vabbè, fa nulla, grazie dell'aiuto.