Graças ao comentário de brm e lendo a página xrandr
man, descobri qual era o problema. Houve dois problemas:
Primeiro, sempre usei a opção -s
do xrandr, que especifica o tamanho, em vez da opção --mode
mais recente. Isso quase sempre funciona de qualquer maneira, e neste caso, mudar para xrandr --output HDMI-0 --mode 1920x1080
não consertava as coisas. No entanto, foi necessário para lidar com o segundo problema: taxas de atualização.
Aparentemente, a taxa de atualização padrão para 1920x1080 não foi realmente suportada pela minha TV (portanto, o erro de sinal), então eu tive que especificar 60Hz. xrandr -s 1920x1080 -r 60
deu o erro Rate 60.00 Hz not available for this size
, assim como usou qualquer uma das outras frequências listadas na saída xrandr.
A solução final foi usar este comando:
xrandr --output HDMI-0 --mode 1920x1080 -r 60
E tudo funciona bem. Eu ainda não tenho certeza exatamente porque isso funciona, especialmente porque a página man diz que -r
(uma opção 1.1) não deveria funcionar bem com --mode
(uma opção 1.2). Mas estou feliz em ter meus pixels pelo menos.