@Chris thanks for you quick reply.
...and apologies for bothering you: finally, everything seems to work after I
switched the DVI ports on the dock... So it might be a hardware problem, or the
software being confused and getting back in order after the config changed...
Anyway, I'm closing this
Do you still have the old working kernel? Can you please attach the
dmesg, Xorg.0.log and xrandr output from it?
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1285811
Title:
HDMI/DVI stopped working
