https://digitalixy.com/zh-TW/tech/amelia/how-to/change-terminal-font-size-ubuntu-linux.html