Take the 2-minute tour ×
Ask Ubuntu is a question and answer site for Ubuntu users and developers. It's 100% free, no registration required.

In ubuntu 11.04 there was a workaround using gconf-editor and setting key /apps/gnome_settings_daemon/plugins/xrandr/active to false.

However there is no such key in gconf-manager using ubuntu 11.10 (gnome 3).

share|improve this question
add comment

2 Answers

up vote 7 down vote accepted

The new version of gnome-settings-daemon stores its configuration information in dconf rather than gconf.

To do the equivalent of what you were doing on 11.04, try the following:

  1. Install the dconf-tools package, and then run dconf-editor.
  2. In the tree on the left, navigate org -> gnome -> settings-daemon -> plugins -> xrandr.
  3. Uncheck the active checkbox.
share|improve this answer
    
It worked nicely, thanks! The actual name of the package is dconf-tools –  user28503 Oct 18 '11 at 13:04
1  
I've fixed up the answer now. Would you mind marking it as accepted if it solved your problem? –  James Henstridge Oct 19 '11 at 1:23
1  
The way to do this from the command line is: dconf write /org/gnome/settings-daemon/plugins/xrandr/active false –  aculich Nov 7 '12 at 2:26
    
I found that w/ Ubuntu 13.04 it's also necessary to do dconf write /org/gnome/settings-daemon/plugins/media-keys/active false –  Mark Aug 20 '13 at 20:46
add comment

This is still an issue as of Ubuntu 12.10 released October 18, 2012. A bug fix for this seemed to be in the works so that at least there is an easier way to re-configure the key bindings, but it has since been marked invalid because this was supposedly fixed in gnome-settings-daemon.

Ultimately this problem is supposedly due to some hardware vendors hard-coding video out to Super-P.

There have been updated conversations on the bug tracker since the currently-accepted answer that suggest not turning off xrandr, but instead turning off media-keys:

Try the following:

  1. Install the dconf-tools package, and then run dconf-editor.
  2. In the tree on the left, navigate org -> gnome -> settings-daemon -> plugins -> media-keys.
  3. Uncheck the active checkbox.

Or the command-line version of this is:

dconf write /org/gnome/settings-daemon/plugins/media-keys/active false

share|improve this answer
add comment

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.