Change the Terminal Font Size
Change the font used in the terminal.
- Create or add the following value to your
gnome.terminal.font: JetBrains Mono 14
- Reload the Xresource configuration:
$ regolith-look refresh
- Open a new terminal to see the change take effect.
Was this page helpful?
Glad to hear it! Please tell us how we can improve.
Sorry to hear that. Please tell us how we can improve.
Last modified June 30, 2020: Pt pt translation (#32) (d488ba93)