svoid linux_autoMonitorSwitch() {
  temp temp_xrandr_cacheOn();
  if (linux_hasExternalMonitor())
    linux_switchToExternalMonitor_1();
  else
    linux_switchToInternalMonitor_1();
}