Preguntas etiquetadas con fonts

Una fuente es un conjunto completo de glifos que forman un tipo de letra. La instalación de una fuente permite al usuario usar esa fuente para cambiar la apariencia del texto en un dispositivo de salida, como una pantalla o impresora.




5
¿Puedo cambiar la fuente de la consola en modo texto?
Tengo un sistema operativo tipo Unix instalado sin un entorno de ventanas; es decir , solo una consola en modo texto y sin GUI. ¿Es posible cambiar la fuente utilizada por la consola? Para que quede claro, yo estoy no hablando del emulador de terminal que viene con un entorno …
36 console  tty  fonts 








2
¿Cómo saber cómo coincide el fc-match?
Cuando corro fc-mach Sans, regresa DejaVuSans.ttf: "DejaVu Sans" "Book"pero si se ejecuta como fc-match "Sans "o fc-match "Sans 9"regresa unifont.ttf: "unifont" "Medium". Prefiero usar siempre DejaVu Sans, pero no puedo entender por qué fontconfig selecciona unifont. Ni la configuración global ni la local parecen mencionar unifont (grep -ri unifont /etc/fonts/ …
18 linux  fonts 


2
¿Por qué no se imprimen algunos caracteres Unicode en mi terminal?
Estoy ejecutando Arch Linux con terminal simple usando la fuente Adobe Source Code Pro. Mi configuración regional está configurada correctamente LANG=en_US.UTF-8. Quiero imprimir caracteres Unicode que representan naipes en mi terminal. Estoy usando Wikipedia como referencia . Los caracteres Unicode para trajes de cartas funcionan bien. Por ejemplo, emitiendo $ …
16 bash  fonts  unicode  printf 

4
Cambiar fuente en comando echo
¿Es posible cambiar los atributos de fuente de la salida de echo en zsh o bash? Lo que me gustaría es algo parecido 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". para que imprima: …
16 bash  shell  zsh  fonts 

Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.