GNU/Linux >> Tutoriales Linux >  >> Ubuntu

Cambiar tamaño de fuente Ubuntu Terminal

La mayoría de los usuarios de Linux pasan mucho tiempo usando la terminal para una variedad de propósitos, ya sea instalando software nuevo, manteniendo su sistema, verificando los detalles del hardware y muchas otras actividades. Por lo tanto, tiene sentido personalizar el terminal para darle un toque más personal.

En este artículo, veremos cómo cambiar la fuente y el tamaño de la fuente del terminal, con algunos ajustes más interesantes.

Paso 1:Abra una nueva ventana de terminal

El primer paso en el proceso es abrir una nueva ventana de terminal donde puede realizar los cambios que necesita. Así que ábralo desde la barra lateral de Ubuntu o presione Ctrl + Alt + T en su teclado.

Paso 2:Ve a Configuración

El siguiente paso es acceder a la opción Ajustes del terminal.

Aquí puede configurar su configuración personal para el terminal. Es importante tener en cuenta que estas configuraciones se limitan principalmente a la apariencia del terminal, no a la funcionalidad. Por lo tanto, no debe preocuparse por cambiar accidentalmente la configuración de algunas funciones de la línea de comandos, ya que este no es el caso aquí. Puede usar la configuración para crear un nuevo perfil que contenga y guarde todas sus configuraciones y las vuelva a cargar cada vez que las use.

Continúe y haga clic con el botón derecho en cualquier lugar de la terminal y aparecerá un menú desplegable. Seleccione la opción Configuración del menú. Esto también se puede hacer usando el botón con las tres líneas paralelas en la parte superior derecha de la pantalla.

Paso 3:crea un perfil

Antes de configurar nuestras preferencias y cambiar la configuración de la fuente, primero debemos crear un nuevo perfil. Haga clic en el botón + justo al lado de la pestaña Perfiles para comenzar.

A continuación, se le pedirá que introduzca un nombre para el perfil. Cada perfil recién creado recibe inicialmente la configuración estándar, como puede ver en el cuadro de diálogo. No obstante, una vez que tengamos el perfil listo, cambiaremos estos ajustes a nuestro gusto.

Paso 4:cambie la configuración de fuente

Con nuestro nuevo perfil, es hora de establecer nuestras preferencias de fuente de terminal. El primer paso es marcar la casilla junto a la opción Fuente personalizada. De esta manera podemos elegir cualquier tipo de letra de nuestra elección y establecer su tamaño.

Como puede ver, la fuente Monospace predeterminada es Regular con tamaño 12. Sin embargo, podemos cambiar eso fácilmente. Haga clic en el nombre de la fuente y verá una lista de fuentes. Hay muchas opciones para elegir, y puedes probar cuál te gusta más. Si está buscando algo en particular, puede escribirlo y buscarlo en el cuadro de búsqueda. También hay una configuración de tamaño de fuente en la parte inferior con la que puedes jugar. Una vez que haya tomado una decisión, presione el botón Seleccionar en la parte superior derecha y vea cómo se ve su fuente en la terminal.

Paso 5:selecciona tu perfil

Una vez que haya terminado con la configuración de su fuente, el paso final es seleccionar el perfil que ha creado. Para hacer esto, haga clic en el botón de flecha pequeña junto al nombre del perfil y seleccione Establecer como predeterminado. Cuando haya terminado, estará listo para comenzar. Reinicie su terminal y la configuración de su fuente debería surtir efecto.

Modificaciones adicionales

Ahora que hemos abordado el "meollo" del asunto, echemos un vistazo a otros posibles ajustes que podemos hacer a nuestras necesidades personales en la terminal.

Vuelva al menú Configuración y verá más opciones de personalización justo al lado de la pestaña Texto. Estas opciones son colores, desplazamiento, comando y compatibilidad. En esta sección discutiremos brevemente algunas de estas opciones.

Comencemos con los colores. Hay una casilla de verificación justo debajo del encabezado Color de texto y fondo. Para activar la configuración de usuario hay que desactivar la opción “Usar colores del diseño del sistema”. A continuación, tenemos un montón de opciones para explorar. Puede probar los esquemas integrados, experimentar con los colores de fondo y de texto, elegir una paleta de su elección y mucho más. Siéntase libre de jugar con estas opciones, ya que seguramente habrá mucho que explorar aquí.

Ahora que hemos terminado de configurar nuestras preferencias, veamos cómo se ven los resultados.

Finalmente, vamos a explorar la pestaña Desplazamiento. Aquí puede elegir si desea mostrar la barra de desplazamiento junto al texto o desplazar la salida. Además, también puede cambiar si desea desactivar el desplazamiento mediante pulsación de tecla y establecer un límite numérico para desplazarse hacia atrás.

diploma

En este tutorial aprendimos cómo cambiar su fuente y el tamaño de fuente del texto en su terminal. Puede ser un gran alivio para alguien que es un ávido y habitual usuario de Terminal, ya que la personalización hace que todo sea más cómodo y cómodo.


Ubuntu
  1. ¿Cómo cambiar la zona horaria en Ubuntu?

  2. Cómo verificar el tamaño total del disco duro en la terminal de Ubuntu

  3. ¿Cómo cambiar el tamaño del icono del escritorio en Ubuntu 16.10?

  4. Cambiar el tamaño de fuente de la terminal con C++

  5. ¿Cómo cambio el tamaño de fuente en Dwarf-fortress?

Cómo cambiar la resolución de pantalla a través de la terminal de Ubuntu

Cómo cambiar el tamaño del texto en Ubuntu 20.04 LTS

Cómo cambiar la fuente y el tamaño de fuente de su Terminal Ubuntu

Cómo cambiar el tamaño del cursor en el escritorio de Ubuntu

Cómo cambiar la terminal predeterminada en Ubuntu

Cambiar zona horaria en Ubuntu 18.04