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