svoid linux_autoMonitorSwitch() {
  temp temp_xrandr_cacheOn();
  if (print("linux_autoMonitorSwitch has external monitor", linux_hasExternalMonitor()))
    linux_switchToExternalMonitor_1();
  else
    linux_switchToInternalMonitor_1();
}