Cambiar la resolución en Raspberry Pi OS (raspi400)

Para cambiar la resolución de nuestra Raspberry Pi 400 tenemos que:

• Seleccionar las opciones:

Menú ► Preferencias ► Screen Configuration

• Se nos abrirá la ventana representando cada monitor con un rectágulo con el nombre del dispositivo, en mi caso solo el de HDMI. 
• Hay que hacer clic con el botón derecho sobre ese rectángulo y nos saldrá el menú que nos permitirá cambiar la resolución, frecuencia y orientación.
• Una vez seleccionado hacemos clic en el icono de Aceptación (el checkbox verde debajo de la opción File) y cambiará.
• Nos mostrará un cuadro de diálogo preguntándonos si podemos ver bien la pantalla después del cambio, si no hacemos clic asume que no podemos y vuelve a la resolución anterior.
  

¿Y por qué ha cambiado esto? ¿No se cambiaba antes con el archivo /boot/config.txt o ejecutando raspbian-config?

Esos procedimientos se usan en versiones anteriores de raspberry pi porque la raspberry pi 400 viene unos gráficos con una mejora de rendimiento espectacular en Raspberry Pi OS (antes conocido como raspbian) gracias a usar unos drivers mejores y ya se puede permitir hacer las cosas más como un PC normal con GNU/Linux, pero por ahora no es tan intuitivo porque adivinar que hay que hacer clic con el botón derecho para hacer estos cambios no es tan evidente.

Ya iremos viendo la evolución de esta nueva placa y de sus sistemas, lo siguiente afinar el overscan/underscan.