Eu tenho 4 portas físicas na minha placa-mãe, VGA, HDMI, DVI e DisplayPort. Normalmente eu uso HDMI e DVI, mas gostaria de mudar para HDMI e DP. No entanto, a saída do xrandr mostra o DP como sempre desconectado:
$ xrandr --verbose
Screen 0:...
16.08.2017 / 01:43