How can I permanently change the text size for gnome-terminal?
You can manually set the size of the text in a terminal by :
- opening a terminal
- Edit -> Profile Preferences
- select Custom font (or unselect Use the system fixed width font in older versions)
- Choose your font and size
You can also choose the size of the terminal by selecting Use custom default terminal size and setting a number of rows and columns.
You can try to invoke gnome-terminal with parameter --zoom, e.g.:
gnome-terminal --zoom=0.8 in order to zoom out 20% (80% of the original size)
Limited documentation for this parameter is found by running
gnome-terminal --help-all
You can play a bit with the different zoom sizes in order to find the appropriate one, and then edit your shortcuts accordingly.