How to set up multiple monitors in linux (using xrandr)
If you would need to set up your displays once every week or less using the GUI is just fine. I had to do it every morning and after a while it became really annoying. Turn off the HDMI display: Turn on the HDMI display and set it as primary display: