high dpi displays for linux
at 2019-03-06 04:29:00.
if everything looks super small on a gnome on a 4k display you can run the following command, if only somestuff gets bigger, you may want to restart to make sure everything gets to the right size
gsettings set org.gnome.desktop.interface scaling-factor 2