Tips and tricks
You can use the command
xrandr to change the resolution.
You can see the available resolutions with
xrandr as following :
You can change it using
xrandr --output Virtual-1 --auto --mode WIDTHxHEIGHT
A command line program allows you to change the font size in your terminal.
You can use it with
term_size SIZE. SIZE being the font size (12, 14, ... for