well... if you use either the composite or hdmi monitor (with useful tvservice -n
-output) and the right one is already connected at the boot time (hotplugging won't change anything because the config.txt is read once at boot) you can probably use the [EDID=*]
-filter in the config.txt!
please have a look at the real good Raspberry Pi documentation for the config.txt:
at the end there is a section about the filters (also the [EDID=*]
-filter), and then you have to sort out your desired configurations for your hdmi monitor... the [all]
-settings will be for the composite.
if you are not using always he same hdmi monitor you have to try multiple [EDID=*]
-filters.
xset
at any point; for what you want to do, you'd have to write some kind of short script to detect which output is in play. – goldilocks Jun 04 '15 at 19:49tvservice -s
will show state e.g.state 0x80001 [PAL 4:3], 720x576 @ 50.00Hz, interlaced
. I do not know if the default size can be changed. – Milliways Jun 05 '15 at 00:33