xrandr dizendo “Tamanho 1920x1200 não encontrado nos modos disponíveis”, embora esteja disponível

Question

Quando eu manualmente reduzo a resolução de 1920x1200 para uma resolução menor no KDE (Debian 9 amd64), o comando

xrandr -s 1920x1200

... não funciona:

% xrandr -s 1920x1200
Size 1920x1200 not found in available modes

Bem, o tamanho 1920x1200 na verdade está disponível :

% xrandr -q
Screen 0: minimum 8 x 8, current 1920 x 1200, maximum 32767 x 32767
HDMI-0 connected primary 1920x1200+0+0 (normal left inverted right x axis y axis) 518mm x 324mm
   1920x1200     59.95*+
   1920x1080     60.00    59.94    50.00    60.00    50.04  
   1680x1050     59.95  
   1600x1200     60.00  
   1440x900      59.89  
   1280x1024     60.02  
   1280x960      60.00  
   1280x720      60.00    59.94    50.00  
   1024x768      60.00  
   800x600       60.32  
   720x576       50.00  
   720x480       59.94  
   640x480       59.94    59.93  
HDMI-1 disconnected (normal left inverted right x axis y axis)
DP-0 disconnected (normal left inverted right x axis y axis)
DP-1 disconnected (normal left inverted right x axis y axis)
DP-2 disconnected (normal left inverted right x axis y axis)
DP-3 disconnected (normal left inverted right x axis y axis)

Definir a saída por resposta link não ajuda:

• quando tiver resolução 1920x1200 set, executar o comando xrandr -s 1920x1200 pisca a tela.

• quando configuro uma resolução menor e adiciono o monitor de saída ao comando como xrandr --output HDMI-0 -s 1920x1200 , nada acontece - nem mesmo o flash da tela.

P.S. comando xrandr -s 0 define modo 1920x1080 , que é o modo segundo na parte superior.