FWIW, the workaround doesn't fully (or at all?) solve the issue, every few days it will still refuse to show video on the external HDMI until rebooted.
2018-06-08 15:05 GMT+01:00, Christian Jaeger <chr...@gmail.com>: > I just realized that I can at least implement a somewhat lame > workaround, which is to automatically switch to the internal screen > from the hibernate command. That appears to work okay. It would still > be interesting to know how xrandr or whatever is behind it actually > works, though (and document it properly). >
