Observe que isso quebrou com a atualização mais recente do Arch Linux, mas o diretório /sys/class/drm/
contém todas as saídas de vídeo. Eu uso head -1 /sys/class/drm/card0-HDMI-A-3/modes
para detectar a existência do modo 3840x2400, mas é possível verificar apenas /sys/class/drm/card0-HDMI-A-3/status
para conectado vs desconectado se o modo não for importante, que é a resposta exata e mais rápida para minha pergunta:)