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