We have a TV we want to connect to our array of laptops. The laptops have DisplayPort or mini-DisplayPort output while the TV has only 1 HDMI output (alas).
So the obvious solution would be to have an HDMI extension cord M/M that is attached either to an HDMI/DisplayPort (F/M) adapter or an HDMI/mini-DisplayPort (F/M) adapter and you need to plug the adapter depending of your laptop output.
Users being users, they find it hard to switch to the correct adapter so we were wondering if there is an HDMI adapter that support both DisplayPort and mini-DisplayPort so the adapter would be always plugged to the extension cord.
My prior search on the internet seems to indicate such adapter do not exists so maybe there is another way to accomplish what we want.
I envisioned having an HDMI splitter to be able to work with two HDMI output (each plugged with a different adapter) but we are worried about losing signal quality. So we would like your opinion on how should we proceed and suggestions about components we should use.