xrandr to make my screen 720×1080 on just the usable part on the monitor
I followed people’s advice and used xrandr to make my screen 720×1080 on just the usable part on the monitor. Simple and clean gnome interface, and I didn’t need 2/3 of the screen for the terminal anyway!