5

I am running Gnome 3.2 on Ubuntu 11.10.

In Banshee, I have 'Show Banshee in Sound menu' enabled in Edit-Preferences.

MPRIS D-Bus Integration and Sound Menu Integration extensions are also enabled.

Still, there is no Banshee on the sound menu.

What is missing?

Thanks in advance.

2 Answers 2

7

Banshee's Sound Menu extension is specifically for Ubuntu's sound menu.

Banshee doesn't currently make use of the playback controls in Gnome Shell's message tray and notifications. That feature is Bug 645628 if you're interested in following the progress.

However, as Gamx points out below, even if this isn't possible out-of-the-box with Banshee, there are third-party solutions.

Webupd8's PPA provides a gnome-shell-extensions-mediaplayer extension that allows you to control various media players -- including Banshee -- using the controls in Gnome Shell. To learn more about Personal Package Archives, see this question on Ask Ubuntu. To install the Gnome-shell extension, in terminal type:

sudo add-apt-repository ppa:webupd8team/gnome3
sudo apt-get update
sudo apt-get install gnome-shell-extensions-mediaplayer
6
  • Does not work in 17.10: "E: The repository 'ppa.launchpad.net/webupd8team/gnome3/ubuntu artful Release' does not have a Release file." Nov 16, 2017 at 14:19
  • @GlenPeterson this is a very old question/answer. You shouldn't need a special plugin or PPA anymore. I'm pretty sure Gnome tray integration was added to Banshee several years ago. Nov 16, 2017 at 17:16
  • It's in the Notification Area in Ubuntu 17.10. I just didn't know to click on the time/date to see it. Thanks! Nov 17, 2017 at 18:56
  • Ah, I see. I haven't updated to 17.10 (and actually, it's been a few years since I've used Banshee). Good luck. Nov 17, 2017 at 22:14
  • What are you using instead of Banshee? Nov 18, 2017 at 22:51
3

I may have misunderstood your question, but in gnome-shell you can have something very similar to the Sound Menu in Unity. Simply install gnome-shell-extensions-mediaplayer. You can find instructions here

http://www.webupd8.org/2011/10/gnome-shell-mediaplayer-extension.html

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .