Вы знали, что в GNOME Shell скрыто очень полезное приложение для настройки расширений?

Утилита gnome-shell-extension-prefs позволяет вам изменять параметры ваших любимых расширений GNOME без необходимости переходить на страницу установленных расширений официального веб-сайта GNOME Extensions в совместимом веб-браузере.

Этот инструмент идеально подходит тем, кто устал открывать браузер для того, чтобы включить или отключить расширение или просто изменить некоторые его параметры.

Когда я говорю, что приложение скрыто, это значит, что его не так легко обнаружить. Вы не найдёте иконки для него в меню «Обзор» или пункта меню в расширении Application Menu. Не зная, что оно существует, вы могли бы вообще его не найти!

Чтобы запустить инструмент настройки расширений GNOME, откройте новое окно терминала (или активируйте комбинацию клавиш Alt + F2) и выполните следующую команду:

gnome-shell-extension-prefs

Чтобы легко получать доступ к нему в будущем, вы можете использовать любимое приложение для редактирования пунктов меню, чтобы создать закладку для него.

Но если вы так же ленивы, как и я, просто запустите утилиту из командной строки и затем прикрепите её к своему избранному в приложении Dash to Dock: