Tengo una pregunta, en Git Bash ¿saben como cambiar la fuente además de las opciones que esta en el apartado de configuración?

Git bash

Hola yo uso git desde la terminal de ubuntu en windows 10 y la configure, desde donde estas usando git? yo podria ayudarte de ser el mismo caso que el mio

Muchas gracias. Finalmente quedo hecho. Al parecer te gusto también la tipografía jeje.

Ah ya, a ver:

• Primero en GitBash debes ubicarte en tu directorio de usuario con el comando cd y enter:

cd

• Luego debes listar el contenido de tu directorio con ls -las

ls -las

• Ahí podras ver el archivo : ".minttyrc"

• Para modificarlo puedes utilizar el editor llamado "nano" colocando el nombre del editor seguido del nombre del archivo y enter

nano .minttyrc

• Dentro del editor puedes dezplazarte con las flechas direccionales y remplazar el nombre de la tipografia por el que quieres usar en este caso se vería así:

Font=Silka Mono

• Para terminar debes presionar "Ctrl + x" para salir, luego "Ctrl + Y" para aceptar los cambios y por último un "enter" para guardarlo con el mismo nombre, la próxima vez que abras GitBash ya debería estar con la nueva tipografía.

Gracias por la información. ¿Pero tengo una pregunta más como se hace para cambiar los valores dentro de la configuración? Lo intente de varias maneras pero no...

Gracias.

Yo instalé Fira Code y no me dió problema, pero averiguando más, al parecer gitbash no reconoce algunas fuentes monospace, pero lo que puedes hacer es añadirlo manualmente al archivo ".minttyrc" que se encuentra en tu directorio de usuario, en mi caso está en :

/c/Users/Adrs

dentro del archivo puedes cambiar el nombre de la tipografia a Silka Mono (previamente instalada en el Sistema Operativo)

Font=Silka Mono

Muchas gracias. Entonces el problema es mi lap o algo, o la tipografía.... ya he procedido a instalar la fuente que quería y en las opciones no enseña la tipogafía que quiero... Muchas gracias.

por cierto es esta la tipografía: https://www.atipofoundry.com/fonts/silka-mono

En esta página puedes ver algunas opciones: https://www.genbeta.com/desarrollo/cinco-mejores-tipografias-open-source-para-tu-editor-codigo-tu-terminal

Si es que entendí bien la pregunta la respuesta es que si es posible cambiar la fuente a una que tu elijas, lo único que tienes que hacer es primero instalarla en tu sistema operativo, luego en la opcion de texto pulsas el boton seleccionar y ahi escoges la tipografía que instalaste.

Gracias por la respuesta, pero lo que realmente quiero saber es si es posible agregar más opcción de fuentes tipograficas aparte de lo que ya estan en las opciones dentro de la venta de Options.