You can get an hdmi switcher for pretty cheap. They usually use a remote, but some can also autosense active ports and switch automatically.