On Thu, 9 Feb 2017 13:12:45 +0100, "A. Dumas"
 wrote:

>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.

Ah ok. Checking here it was possibly 'Overscan' I was thinking of
(that presumably also modifies config.txt).

> Also see other related HDMI-settings:
>http://elinux.org/RPiconfig

Cheers.

So, I guess it would make sense to always set the output to HDMI if
you never use the composite video output?

Cheers, T i m

--- SoupGate-Win32 v1.05