This is a Dell system with Intel HD4600 onboard graphics. It has 2 physical DisplayPorts and a single physical VGA port; it has NO physical HDMI ports.
As part of trying to set up a 4K TV, I noticed that having used a Displayport/HDMI cable/converter,
xrandr claims that
HDMI-1 is connected but
DP-1 is disconnected. Should I be using
xrandr to disable
HDMI-1 and enable
DP-1 or is this just how things work when using a DisplayPort/HDMI adapter?
BTW, "if it ain't broke..." doesn't apply here as I've not yet managed to get 4k out of this system :-(.