Cambiar el tamaño de la fuente Terminal Ubuntu
En este artículo, observaremos cómo puede cambiar la fuente y el tamaño de la fuente del terminal, además de algunas personalizaciones más geniales.
Paso 1: Abra una nueva ventana de terminal
El primer paso del proceso es abrir una nueva ventana de terminal, desde donde puede hacer los cambios necesarios. Entonces, ábrelo desde la barra lateral de Ubuntu o presione Ctrl + Alt + T en su teclado.
Paso 2: ir a las preferencias
El siguiente paso es acceder a la opción Preferencias en el terminal.
Aquí, puede configurar su configuración personal para el terminal. Es importante tener en cuenta que estas preferencias se limitan principalmente a la apariencia del terminal, no a la funcionalidad. Por lo tanto, no debe preocuparse por cambiar por error algunas configuraciones funcionales de la línea de comando, ya que ese no es el caso aquí. A través de las preferencias, puede crear un nuevo perfil, que contendrá y recordará todas sus preferencias y cargarlas cada vez que lo use.
Continúe y haga clic con el botón derecho en cualquier parte de la terminal y debe aparecer un menú desplegable. Seleccione la opción Preferencias en el menú. Esto también se puede hacer a través del botón Tres-Líneas Paralelas en la parte superior derecha de la pantalla.
Paso 3: crear un perfil
Antes de configurar nuestras preferencias y cambiar la configuración de fuentes, primero necesitamos 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 ingrese un nombre para el perfil. Cada nuevo perfil que se crea primero se da la configuración predeterminada, como puede ver en el cuadro de diálogo. Sin embargo, una vez que tengamos el perfil listo, cambiaremos esta configuración a nuestro propio gusto.
Paso 4: Cambiar la configuración de la fuente
Con nuestro nuevo perfil en funcionamiento, es hora de que establezcamos nuestras preferencias con respecto a la fuente terminal. El primer paso es marcar la casilla justo al lado de la opción de fuente personalizada. Esto nos permitirá seleccionar cualquier fuente de nuestra elección y establecer su tamaño.
Como puede ver, la fuente predeterminada es monoespace regular con tamaño 12. Sin embargo, podemos cambiar tan fácilmente. Haga clic en el nombre de la fuente y verá una lista de fuentes emergentes. Hay muchas opciones para elegir, y puede probar el que más le guste. Si está buscando algo específico, no dude en escribirlo y buscarlo en el cuadro de búsqueda. También hay un tamaño de fuente que se establece en la parte inferior con el que puedes jugar con el que puedes jugar. Una vez que haya decidido, haga clic en el botón Seleccionar en la esquina superior derecha y vaya a verificar cómo se ve su fuente en la terminal.
Paso 5: Seleccione su perfil
Ahora que ha terminado con su configuración de fuente, el paso final es seleccionar el perfil que creó. Puede hacer esto haciendo clic en el botón de flecha pequeña junto al nombre del perfil y seleccionando SET como predeterminado. Con eso hecho, estás listo para ir. Reinicie su terminal y sus preferencias de fuente deben aplicarse.
Modificaciones adicionales
Ahora que hemos tratado con la "carne" del asunto, echemos un vistazo a algunas modificaciones más posibles que podamos hacer a la terminal a nuestras necesidades personales.
Vuelva al menú Preferencias, 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 algunas de estas opciones brevemente.
Comencemos con los colores. Hay una casilla de verificación justo debajo del encabezado de color de texto y fondo. Para habilitar la configuración del usuario, debe anular la selección de la opción "Usar colores del tema del sistema". A continuación, tenemos una carga de opciones para explorar. Puede probar esquemas incorporados, jugar con el fondo y los colores de texto, seleccionar una paleta de su elección y más. No dude en jugar con estas opciones, ya que ciertamente hay mucho que explorar aquí.
Ahora que hemos terminado de establecer nuestras preferencias, echemos un vistazo a cómo se ven los resultados.
Finalmente, exploraremos la pestaña de desplazamiento. Aquí puede seleccionar si desea mostrar la barra de desplazamiento al lado del texto o desplazarse cuando se muestra la salida. Además, también puede cambiar si desea apagar el desplazamiento en la tecla de tecla y establecer un límite numérico para desplazarse hacia atrás.
Conclusión
En este tutorial, aprendimos cómo puede cambiar su fuente y el tamaño de fuente del texto en su terminal. Puede ser un gran alivio para alguien que es un usuario de terminal ávido y regular ya que la personalización personal hace que todo se sienta más hogareño y conveniente.