Consegui desativar a porta de exibição adicionando video=DP-2:d
às opções de inicialização do grub. Observe que xrandr
estava exibindo DisplayPort-1
, embora, na verdade, DP-2
estivesse ativado.
Veja como eu consegui descobrir qual era o dispositivo de saída real graças ao Wiki do ArchLinux :
* Para obter o nome e o status atual dos conectores, você pode usar o seguinte one-liner de shell:
$ for p in /sys/class/drm/*/status; do con=${p%/status}; echo -n "${con#*/card?-}: "; cat $p; done
DVI-I-1: connected
HDMI-A-1: disconnected
VGA-1: disconnected