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



Pingback: Gnome Shell focus effect! | woGue