On Thu, 12 Nov 2015, John Klos wrote:
> [...] output, instead of acpiout1, which is the laptop's LCD screen. > How do I switch between those outputs?man xrandr. Also read this: http://divby0.blogspot.com/2008/12/switching-monitors-with-xrandr.html
That's for X and doesn't handle anything which has to do with the console output.
man acpivga talks about honoring the BIOS switching mechanism, but that doesn't work for either hw.acpi.acpivga0.bios_switch setting.
Thanks, John