1，打开terminal
ctrl+alt+t
2,在命令行任意位置右击，选择Profiles–Profile Preferences 在第一个General选项卡中，勾选Custom font，改变对应字体大小（比如改为18）。
改完之后立马生效
参考文档：https://askubuntu.com/questions/157873/is-it-possible-to-change-the-terminal-font
1，打开terminal
ctrl+alt+t
2,在命令行任意位置右击，选择Profiles–Profile Preferences 在第一个General选项卡中，勾选Custom font，改变对应字体大小（比如改为18）。
改完之后立马生效
参考文档：https://askubuntu.com/questions/157873/is-it-possible-to-change-the-terminal-font
