I use Gnome 3.16 under archlinux and would like to know if there is a quick way to change the integrated monitor with an external one via HDMI. This is the way I have to go (in pictures):
First, you have to open the monitor menu (here in spanish).
Second, you need to open the submenu (where you can choose out of four options: Make this monitor the primary, secondary, show the same content, or turn it off) of your external monitor and choose the option to show the same content in both monitors.
Third, you need to open the submenu of your integrated monitor and turn it off.
Does someone know an easier and faster way to do it, i.e., that as soon as you plug in the HDMI cable it automatically switches to the external monitor while turning off the integrated monitor and vice versa?