Domande taggate «fonts»

Un font è un intero insieme di glifi che compongono un carattere tipografico. L'installazione di un font consente all'utente di utilizzare quel font per modificare l'aspetto del testo su un dispositivo di output come uno schermo o una stampante.

2
Quali caratteri sono buoni per i glifi unicode
Quindi stavo guardando questa risposta su StackOverflow e mi sono reso conto che i miei caratteri non coprono gran parte dello spettro unicode utf-8 (dato che ottengo molti quadrati). Qualcuno conosce un carattere che coprirà tutto quel post?
38 fonts  unicode 
5
Posso cambiare il carattere della console in modalità testo?
Ho un sistema operativo simile a Unix installato senza un ambiente a finestre; cioè , solo una console in modalità testo e nessuna interfaccia grafica. È possibile cambiare il carattere utilizzato dalla console? Per essere chiari, io non parlando l'emulatore di terminale che viene fornito con un ambiente desktop come …
36 console  tty  fonts 
2
Come scoprire come corrisponde fc-match?
Quando corro fc-mach Sans, ritorna DejaVuSans.ttf: "DejaVu Sans" "Book"ma se viene eseguito come fc-match "Sans "o fc-match "Sans 9"ritorna unifont.ttf: "unifont" "Medium". Preferisco usare sempre DejaVu Sans ma non riesco a capire perché fontconfig selezioni unifont. Né la configurazione globale né quella locale sembrano menzionare unifont ( grep -ri unifont …
18 linux  fonts 
4
Cambia carattere nel comando echo
È possibile modificare gli attributi dei caratteri dell'output di echo in zsh o bash? Quello che vorrei è qualcosa di simile a: echo -n "This is the font: normal " echo -n $font=italic "italic," echo -n $font=bold "bold," echo -n "and" echo -n $font=small "small". in modo che stampi: "Questo …
16 bash  shell  zsh  fonts 
Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.