Как запустить настройки расширения GNOME Shell из главного меню?
Можно ли настраивать расширения только из браузера или интерфейса командной строки? (Команда для него - gnome-shell-extension-prefs). Могу ли я добавить для него пункт главного меню?
5
задан jokerdino
10 June 2012 в 19:53
поделиться
1 ответ
Вы можете использовать alacarte для создания пункта главного меню.
Просто добавьте gnome-shell-extension-prefs в соответствующее поле команды, и вы должны иметь его в главном меню.
0
ответ дан Community
10 June 2012 в 19:53
поделиться