¿Es posible cambiar la fuente del terminal?

53

Me gustaría cambiar la fuente en la Terminal, ¿cómo puedo lograr esto?

command-line fonts

— Fawkes5
fuente

2

Cual terminal? ¿Sublime text 2 está instalado en su sistema?

— Marty Fried

2

and Which font? -

— Anwar

Sublime text 2 está instalado. La fuente que me interesa es la fuente sublime predeterminada con la que se instala. No puedo encontrar el nombre

— Fawkes5

1

Consulte también ¿Cómo se llama la fuente predeterminada de la consola Debian / Ubuntu (TTY)? y 7 de las mejores fuentes de terminal de Ubuntu (ancho fijo)

— Hans Ginzel

46

Bash terminal:

Menú, Editar => Preferencias de perfil => pestaña General ; desmarque Usar la fuente de ancho fijo del sistema y seleccione la fuente que desee.

Para el terminal xterm general, debe crear un archivo ~/.Xresourcesy agregarle configuraciones, como xterm*font: Sublime\ Text\ 2-12por ejemplo 12 puntos (esto es una suposición, no sé si es totalmente correcto).

— Marty Fried
fuente

Mi terminal gnome se bloquea cuando desactivo la casilla de verificación 'usar la fuente de ancho fijo del sistema'. ¿Hay alguna forma de modificar o borrar esta configuración sin pasar por esta GUI?

— Jonathan Hartley

No hay un menú llamado "Editar" en Ubuntu 18.04 o Ubuntu 18.04. ¿Quizás actualizar su respuesta para cubrir también las versiones más nuevas de Ubuntu?

— Peter Mortensen

O al menos márquelo, por ejemplo, "Para Ubuntu 9 a Ubuntu 16.04:" o similar (compuse el rango de versiones en este ejemplo).

— Peter Mortensen

30

Aunque no mencionó qué fuente está utilizando o a qué terminal se refiere, estoy dando una respuesta general para cambiar la fuente en gnome-terminal.

Estoy dando dos formas de hacer esto, aunque ambas están relativamente cerca una de la otra.

Manera formal

Abra la terminal presionando Ctrl+ Alt+ T.
Luego vaya desde el menú Editar → Perfiles . En la ventana de edición de perfil, haga clic en el Editbotón.
Luego, en la pestaña General , desmarque Usar la fuente de ancho fijo del sistema y luego seleccione la fuente deseada del menú desplegable

Manera más fácil

Abra la terminal presionando Ctrl+ Alt+ T.
Haga clic derecho en la terminal, desde el menú emergente que aparece, vaya a Perfiles → Preferencias de perfil
Luego, en la pestaña General , desmarque Usar la fuente de ancho fijo del sistema y luego seleccione la fuente deseada del menú desplegable.

Estoy dando dos capturas de pantalla a continuación:

Imagen del menú emergente

Imagen de la ventana de perfil "Editar"

— Anwar
fuente

1

oh wow, no sabía que era tan fácil. ¡¡¡GRACIAS!!!

— Fawkes5

Hasta donde puedo ver, los "Perfiles" están en "Preferencias" en Ubuntu 18.04 o Ubuntu 18.04. ¿Quizás actualizar su respuesta para cubrir también las versiones más nuevas de Ubuntu?

— Peter Mortensen

1

Para Ubuntu 17.04 con GNOME Terminal 3.20.2, las opciones son un poco diferentes. Desde el menú, vaya a Editar -> Preferencias de perfil -> pestaña General. En Text Appearance section, seleccione la Custom fontopción, haga clic en la fuente seleccionada y luego reduzca el número de tamaño de fuente en la parte inferior de la nueva ventana.

— patrickvacek
fuente

Sí, uso un tema oscuro y bajo brillo, por lo que la casilla de verificación es casi invisible

— qwr

0

si te refieres a una terminal de servidor, es decir, sin sistema de ventanas, solo la consola, me gusta esta respuesta :

setfont /usr/share/consolefonts/UbuntuMono-R-8x16.psf

esto es un ejemplo; puedes ver una lista de fuentes disponibles como esta:

ls /usr/share/consolefonts

y si por alguna razón no los tiene, puede instalarlos así:

sudo apt-get install fonts-ubuntu-font-family-console

tenga en cuenta que es posible que deba colocar el comando setfont en su .profile o .bashrc, ya que es posible que deba ejecutarse en cada inicio de sesión

— jmarina
fuente