Me gustaría cambiar la fuente en la Terminal, ¿cómo puedo lograr esto?
command-line
fonts
Fawkes5
fuente
fuente
Respuestas:
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
~/.Xresources
y agregarle configuraciones, comoxterm*font: Sublime\ Text\ 2-12
por ejemplo 12 puntos (esto es una suposición, no sé si es totalmente correcto).fuente
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
Manera más fácil
Estoy dando dos capturas de pantalla a continuación:
fuente
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 laCustom font
opció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.fuente
si te refieres a una terminal de servidor, es decir, sin sistema de ventanas, solo la consola, me gusta esta respuesta :
esto es un ejemplo; puedes ver una lista de fuentes disponibles como esta:
y si por alguna razón no los tiene, puede instalarlos así:
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
fuente