Tips and tricks

Screen resolution

You can use the command xrandr to change the resolution.

You can see the available resolutions with xrandr as following : resolution

You can change it using xrandr --output Virtual-1 --auto --mode WIDTHxHEIGHT xrandr

Term size

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 instance)