Avec Xmonad / GNOME, basculez le panneau gnome entre les moniteurs
J'utilise gnome avec Xmonad comme gestionnaire de fenêtres sur Ubuntu 11.10. Lorsque j'utilise un moniteur externe avec mon ordinateur portable, étendant le bureau avec nvidia-settings ou disper, les panneaux gnome (barre supérieure et barre des applications/espaces de travail en cours d'exécution) semblent s'afficher de façon aléatoire sur l'un ou l'autre moniteur. Comment puis-je les forcer à utiliser un moniteur ou changer leur position avec une commande scriptable que je peux raccourcir?
Voici des choses qui ne fonctionnent pas:
- Je peux les déplacer par un clic droit-> Propriétés-> Décocher "développer" -> Alt-glisser, etc. Cela fonctionne, mais nécessite beaucoup trop de travail de la souris chaque fois que je branche mon moniteur externe.
- L'utilisation de gconf-editor pour modifier l'un des paramètres du panneau gnome ne change rien:
gconftool-2 --type string --set /apps/panel/toplevels/top_panel_screen0/orientation topLe/monitor "1"le réglage ne change rien non plus
[edit] La solution de gpoo est presque correcte - utilisez simplement dconf au lieu de gsettings.
dconf write /org/gnome/gnome-panel/layout/toplevels/bottom-panel/monitor 1
gsettings ne me laisse pas changer les clés requises, bien qu'il soit probable que je ne puisse pas comprendre sa syntaxe cryptique et non documentée. Tout dconf, dconf-editor et gsettings ont besoin de pages de manuel. (La page de manuel de gsettings ne fait rien pour expliquer ce que signifient les termes.)
Essayez gsettings ou dconf. Vous souhaiterez peut-être modifier org.gnome.gnome-panel.layout.toplevels.top-panel.monitor et org.gnome.gnome-panel.layout.toplevels.top-panel.orientation.
Ce serait quelque chose comme:
$ gsettings set org.gnome.gnome-panel.layout.toplevels.top-panel.orientation top
$ gsettings set org.gnome.gnome-panel.layout.toplevels.top-panel.monitor 1