¿Es posible cambiar la fuente del terminal?

53

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

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

Respuestas:

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ú EditarPerfiles . 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 PerfilesPreferencias 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