Руководства

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

gnome shell extensions

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

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

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

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

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

gnome-shell-extension-prefs

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

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

add to faves

Комментарии   

 
0 #1 profile8584 31.10.2018 08:12
Need cheap hosting? Try webhosting1st, just $10 for an year.

http://chat.kindlecomic.net/albums/userpics/10029/top-web-hosting-58125.jpg
Цитировать
 

Добавить комментарий


Защитный код
Обновить

Аккаунт



Подпишись на нашу RSS

Go to top