On 09/02/2017 12:43, T i m wrote:
> The only requirement is that it has to be powered on *before* you
> power on (or boot possibly) the Pi but I think that's because it
> (Linux?) defaults to the CV port otherwise (and may not switch back to
> the HDMI dynamically). I think you can set it to the HDMI
> (raspi-config?).

Forcing the RPi to use HDMI is done by setting "hdmi_force_hotplug=1" in
/boot/config.txt and rebooting. Also see other related HDMI-settings:
http://elinux.org/RPiconfig

--- SoupGate-Win32 v1.05