sS linux_switchToExternalMonitor_1() {
  ret backtick_verbose("xrandr --output HDMI-0 --auto --output eDP --off");
}