En fait sous Ubuntu 9.04 (contrairement aux version précédentes), Gnome se met à utiliser "l'écran par défaut" de sa configuration quand il ne détecte pas l'écran, même quand des drivers proprios sont utilisés.
C'est donc gnome qui demandait le passage en 1280x960 au démarrage de session !
Le contournement consiste à modifier la résolution du "Default Screen" dans ~/.config/monitor.xml de manière à refléter la résolution voulue.
C'est une régression sous Ubuntu car avant, en cas d'utilisation de drivers proprios, Gnome n'utilisait pas son monitor.xml (gnome-display-properties l'utilisait mais tanqu'on appliquait pas la modif aucun problème)
C'est également une incohérence, car depuis Ubuntu 9.04 gnome-display-properties propose directement l'utilisation du GUI propriétaire (dans mon cas nvidia-settings) comme alternative. Le démarrage de session Gnome ne fait pas cette distinction et tape bêtement dans le monitor.xml sans chercher si par hasard des drivers proprio ne géreraient pas déjà l'écran.
Par contre je suis preneur de toute solution d'augmenttaion de verbosité de X ou de Gnome conernant ces changements de résolution !
# Résolu : bug Gnome sous ubuntu 9.04
Posté par ⌨ ☕ . En réponse au message Trouver qui change la résolution de l'écran ??. Évalué à 5.
https://bugs.launchpad.net/ubuntu/+source/gnome-control-cent(...)
En fait sous Ubuntu 9.04 (contrairement aux version précédentes), Gnome se met à utiliser "l'écran par défaut" de sa configuration quand il ne détecte pas l'écran, même quand des drivers proprios sont utilisés.
C'est donc gnome qui demandait le passage en 1280x960 au démarrage de session !
Le contournement consiste à modifier la résolution du "Default Screen" dans ~/.config/monitor.xml de manière à refléter la résolution voulue.
C'est une régression sous Ubuntu car avant, en cas d'utilisation de drivers proprios, Gnome n'utilisait pas son monitor.xml (gnome-display-properties l'utilisait mais tanqu'on appliquait pas la modif aucun problème)
C'est également une incohérence, car depuis Ubuntu 9.04 gnome-display-properties propose directement l'utilisation du GUI propriétaire (dans mon cas nvidia-settings) comme alternative. Le démarrage de session Gnome ne fait pas cette distinction et tape bêtement dans le monitor.xml sans chercher si par hasard des drivers proprio ne géreraient pas déjà l'écran.
Par contre je suis preneur de toute solution d'augmenttaion de verbosité de X ou de Gnome conernant ces changements de résolution !