Menu
How can I change the font size for Git Bash?
This is the web site where I downloaded related application, click here.
449
Normally, you cannot change the font size. The only thing, you usually can do, is changing color and sometimes the bold/underlined attribute. For this, you can use ANSI escape sequences. See e.g. bashguru.com/2010/01/shell-colors-colorizing-shell-scripts.html for some examples.
If you need to quickly change the font size while in the editor, press Ctrl+Alt+S to open the IDE settings, go to Editor | General, and select Change font size with Command+Mouse Wheel or Change font size with Control+Mouse depending on your operating system.
Go to the menu choice Options, then the only menu choice under that, Configure IDLE. On the left side of the window, about half way down the screen, you see Size: and a dropdown menu with a number in it. Click on that menu and make the number bigger, even as much as 22. Click on the Ok button.
Right click in the upper left corner of the Git Bash window and choose "Options...":
Click "Text" and "Select". Select an appropriate font size:
Press OK and Save to keep the new settings.
132
If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!
Donate Us With
