Unix & Linux Stack Exchange is a question and answer site for users of Linux, FreeBSD and other Un*x-like operating systems. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

I want to install a GNOME extension into Fedora 19. I've been using this command:

$ yum install gnome-shell-extensions-alternative-status

But it wasn't able to find the package. I tried adding this to the repository file, but it doesn't seem to work.

name=Modify and extend GNOME Shell functionality and behavior
share|improve this question
up vote 4 down vote accepted

I wouldn't be using that repository with Fedora 19. Those packages were built for Fedora 15.

excerpt from the repos page

gnome-shell-extensions Modify and extend GNOME Shell functionality and behavior hien fedora-15

I found the RPM you're looking for here in the Development repository, specifically here for the gnome-shell-extension-alternative-status-menu package.

I do not have a F19 install to confirm this but I believe you need to either enable the "Development" repository or the "Update-Testing" repo.

A command like this would do it:

$ sudo yum-config-manager --enable development
$ sudo yum-config-manager --enable updates-testing
share|improve this answer
That repository was the development tree for Fedora 19, but now that Fedora 19 is out, you can find it release repository, which means it will also be available for yum install gnome-shell-extension-alternative-status-menu – mattdm Jul 23 '13 at 2:01
@mattdm - thank you for clarifying this! – slm Jul 23 '13 at 2:03

The only problem here, I think, is that the package name has an extra word on the end, -menu, which is left out of your original command.

As @slm notes, you don't really want that repo file, since it's old and unmaintained. But, it appears that the package you want is in Fedora. Just do yum install gnome-shell-extension-alternative-status-menu and you should be all set.

Alternately, you can go to https://extensions.gnome.org/ and search for Alternative Status Menu, from which you will find this page; there, click the on-off switch at the top left of the page and it will be downloaded into your own home directory (as opposed to installed system wide) and activated.

share|improve this answer

Your Answer


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.