У меня проблемы с пониманием предполагаемого способа управления расширениями оболочки Gnome.
Я не могу найти подходящих программ в Dash для этого. Единственный способ, которым я могу управлять расширениями, - это extensions.gnome.org .
Невозможно, чтобы эта страница была инструментом для управления расширениями - она имеет абсолютно нулевой смысл (например, нарушает UX).
Пожалуйста, скажите мне, что есть план для нативного приложения, предназначенного для управления этими удобными расширениями.
gnome
gnome3
gnome-shell
jcora
источник
источник
Microsoft Windows XP
DebianGNU/Linux Distributions
на основную, одной из самых поучительных составляющихuser experience
было то, что мне не нужно было заходить на веб-страницы, искать приложения, загружать и устанавливать их, но вместо этого я мог искать в списке пакетов черезapt-get
и устанавливать пакеты. Также мне не нужно было много заботиться об обновлении отдельных приложений, так как это было сделано с двумяapt commands
. Исходя из своегоhighly subjective
пользовательского опыта, я должен сказать, что мне кажется,broken
что мне приходится управлять расширениями таким образом.Ответы:
Имеет ли это смысл или нет, это также вопрос мнения. Но да, эта страница является основным инструментом, прочитайте объяснение Оуэна Тейлора .
Что касается управления расширениями, уже установленными в вашей системе, вы можете включить / отключить их с помощью gnome-tweak-tool (или
dconf-editor
- GUI, илиgsettings
- CLI).редактировать:
в ответ на ваш комментарий:
Какую версию gnome-shell вы используете? На
gnome-3.8.2
это поведение по умолчанию, набравexten
в строке поиска вызываетgnome-tweak-tool
т.е. «местный центр управления» для расширений, смотрите сами:источник