Ubuntu 18.04 modificar tamaño tipografía

Para modificar el tamaño de las fuentes en ubuntu instalamos gnome-tweeak-tool

# sudo apt install gnome-tweak-tool
# gnome-tweaks

En tipografías modificamos el factor de escalado hasta que tengamos el tamaño adecuado, por ejemplo 1,20.