Вопросы с тегом «gnome-shell-extension»

Расширения GNOME Shell - это небольшие фрагменты, расширяющие функциональность и возможности GNOME Shell. Эти фрагменты написаны на JavaScript и CSS.

3
Настроить расширения оболочки gnome из командной строки
Мне нравится запускать несколько сценариев для автоматической установки пакетов и выполнения некоторых настроек при новой установке ОС. Я использую оболочку gnome с несколькими расширениями и собирался улучшить свои скрипты для их настройки. Я обычно настраиваю расширения, используя gnome-shell-extension-prefs или dconf-editor, и я знаю, как редактировать другие схемы из командной строки. …

1
Установить расширения GNOME через веб-сайт: уязвимость безопасности?
Я нашел расширение GNOME через поиск в Google (используя Chromium), и был очень удивлен, что я мог просто переключить переключатель вкл / выкл, чтобы веб-сайт установил полное расширение GNOME на мой компьютер без каких-либо других ручных действий. (проверено, это работает и с Firefox.) Конечно, появляется диалоговое окно с просьбой подтвердить …

2
Расширения Gnome остаются в списке после удаления
У меня есть небольшая проблема с расширениями оболочки gnome. После установки некоторых из них я понял, что они мне не понравились, и решил удалить их. Сами расширения (их папки в /home/username/.local/share/gnome-shell/extensions) были успешно удалены. Однако удаленные расширения не были удалены из списка установленных расширений на extensions.gnome.org . Они также не …

1
Как отключить нижнюю панель / панель сообщений в Gnome Shell 3.4?
Запуск Ubuntu 12.04 с Gnome Shell 3.4 . После включения расширения нижней панели (чтобы удалить надоедливый лоток для сообщений / нижнюю панель / горячий угол внизу; вы знаете, о чем я говорю (:), после добавления USB-накопителя все еще появляется всплывающее сообщение «наполовину»). , не знаю, как это правильно объяснить. Может …

3
Как полностью удалить gnome-shell и все расширения?
У меня возникли некоторые проблемы с работой gnome-shell с тех пор, как я установил расширение (я не знаю, какое) на 11.10. Итак, что я хотел бы знать: как я могу полностью удалить все, что связано с gnome-shell (все расширения, gnome-tweak-tool и т. Д.), Все - чтобы я мог начать все …
Используя наш сайт, вы подтверждаете, что прочитали и поняли нашу Политику в отношении файлов cookie и Политику конфиденциальности.
Licensed under cc by-sa 3.0 with attribution required.