Category Archives: gnome shell

Jan 16 2013
21 Comments
fedora, fedora 18, gnome, gnome shell

No Logout option in Fedora 18

In Fedora 18, GNOME 3.6 has some more tweaks and changes to how the User menu works. One change that may trip up regular Fedora / gnome-shell users is that there is no “Logout” option in the user menu (the menu that drops down from your name in the top right corner of the shell).

Basically, the change is this:

if you only have one user set up on a system, and only have one Desktop environment installed (i.e. just GNOME) then the logout option is not shown.

However, this comes with the following caveat: if you install a new desktop other than GNOME3, you will need to manually restart the shell  (press Alt+F2, type ‘r’, and hit enter) or reboot for the logout option to start displaying.

I don’t care, just re-enable the logout in Fedora 18

if you only have one user, and only one desktop enviroment, and still want the log out option to display,  the GNOME developerss have also added in an option to be able to persistently keep the logout option in the user menu.

To make the logout option always appear:

  1. First open up the dconf editor (fedora package “dconf-editor”), and navigate to the org > gnome > shell key.
  2. Check the option “always-show-log-out” (pictured below in the screenshot), to always show the logout option. Note, however, that a restart of the shell or a reboot may be required for this option to start working.

 

May 03 2012
Leave a comment
fedora, gnome, gnome shell, plugins

Music Extension gnome-shell plugin

I recently stumbled on the Music Extension [ GNOME extensions | github ] plugin that seamlessly integrates your music player into Gnome Shell. The extension adds a music icon in the top gnome shell panel that, when clicked, displays the album artwork & track name of the currently playing song, as well as a set of controls for music playback and settings.  The top panel icon also provides visual feedback (via a small overlay icon) showing if your media player is currently playing music, paused or stopped.

This extension works very well with banshee on Fedora 16. All you have to do in banshee itself is enable the “MPRIS D-Bus Interface” extension and it should be right to go. I installed the plugin directly from the gnome extensions website (extensions.gnome.org), as it is not available in Fedora itself. From the description on the extension’s github page, it also seems to work with a wide range of other media players, including: Amarok, Clementine, Guayadeque, Quodlibet, Rhythmbox, and VLC
Note, however, when installing the plugin through the Gnome extensions website, the ability to adjust the preferences of the plugin is not enabled by default. To enable this, follow the directions detailed on the plugin’s github page. The additional settings allow you to change a few extra settings, such as enabling notifications when the song changes, and having the top panel drop-down integrated with the volume menu rather than having a separate icon.