How to set preferences for your extensions!

This post was made with another stylesheet and it might be messed up!

Gnome Shell extensions are a great way to expand your desktop environment’s abilities and to shape it according to your preferences.

Although enabling and disabling various extensions is an one-click easy to do thing, setting preferences for specific extensions may confuse you, or maybe this is the first time you hear that you can do such a thing!

There is a GUI tool that allows you to easily set various preferences for your Gnome Shell extension that is not to be found on System or Advanced settings. To launch this tool you will have to type the following command on a terminal:

gnome-shell-extension-prefs

After the tool opens you can then choose the extension that you want to set up. Note that not every extension offers changeble parametres. Here is an example of the popular media player indicator extension:

You can also add this command to Settings Center Extension

Get Settings Extension Here

                 

  • http://www.facebook.com/agharrfauzi.abahagharr Agharr Fauzi Abah Agharr

    not working on gnome 3.5.5

    • alex285

      Yes this extension is for Gnome 3.4 not 3.6

  • Pingback: Gnome Shell focus effect! | woGue