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

Как мне установить расширения GNOME Shell? Можно ли обновлять, удалять и управлять

В Gnome Tweak Tool я не могу изменить тему оболочки: При наведении на знак показывает восклицательными следующий инструмент-наконечник: Shell user-theme extension not enabled. Я использую Ubuntu 14.10 и установил расширения...

Оболочка GNOME имеет так называемую функцию «горячий угол», которая открывает панель инструментов, если мышь касается верхнего левого угла экрана монитора. Я хочу, чтобы это отключено. У меня раньше было расширение оболочки GNOME, но хранилище больше не найдено: git clone...

Как я могу скрыть верхнюю панель в Gnome 3.28 Ubuntu 18.04? Как можно установить расширение

Я использую Ubuntu Gnome 13.10 с Gnome 3.10. Моя проблема в том, что при каждой перезагрузке ОС все расширения оболочки отключаются. Странно то, что их настройки сохраняются. Они просто выключены, и мне приходится каждый раз включать их снова. Как я могу сделать их постоянными. Благодарность...

Описание проблемы Мне очень нравятся рабочие пространства 2 на 2 в Ubuntu 16.04. Но, похоже, я могу только перемещать рабочее пространство вверх и вниз. Есть ли способ добиться этого? Что я пробовал Попробовал расширение GNOME под названием Workspace Grid (предлагается здесь: Могу ли я иметь 2x2...

Допустим, я успешно установил свой набор расширений gnome-shell. Но я хочу деактивировать / деактивировать из командной строки. Это возможно только через действие мыши, AFAIK. Как я могу это сделать...

Я мигрирую из Unity в GNOME. Один элемент, который мне не хватает, - это кнопка «Показать рабочий стол» (она же «свернуть все окна») в тире. Как я могу добавить эту функцию в панель инструментов GNOME (или док-станцию ​​Ubuntu в Ubuntu 17.10 и более поздних версиях), даже если это означает создание...

Я использую gnome-shell 3.4.1 под Ubuntu 12.04. Я пробовал различные расширения с http://extensions.gnome.org, и теперь я хочу полностью удалить некоторые, особенно, чтобы они не занимали места в Gnome Tweak Tool. Безопасно ли просто удалить папку с расширением...

Большой док слева. В других версиях вы могли избежать запуска единства, перейдя в gnome, что теперь? Gnome твики не показывают его как расширение, хотя это выглядит как черта для стыковки. Я вижу параметры автоматического скрытия в настройках, но не могу полностью удалить его и использовать GNOME...

Я знаю, как зайти на веб-сайт https://extensions.gnome.org/ и загрузить расширения оболочки gnome, но теперь мне нужно установить некоторые расширения, доступные там, на компьютер вообще без доступа к Интернету. Он находится во внутренней корпоративной сети, и я никак не могу получить доступ к нему...

Я хотел разработать некоторые расширения оболочки Gnome, так как они находятся только в javascript, однако я искал и документации практически нет, везде, где я смотрю, люди просто говорят использовать базовую документацию Gnome, но это НЕ помогает, я могу Не найдя никакой документации по импорту...

Ubuntu 17.10 представляет оболочку GNOME с док-станцией Ubuntu (на основе расширения оболочки Dash to Dock GNOME Shell) и позволяет разместить док-панель в нижней части рабочего стола: Однако нет простого способа переместить значок « Показать приложения» (показанный справа) слева от Dock. В Центре...

Порядок виджетов расширения оболочки выглядит случайным, как я могу его изменить? Я хочу иметь информацию о дате / времени слева, например. Моя панель оболочки:...

Как получить дополнительную информацию, почему конкретное расширение не работает и показывает мне «Ошибка загрузки расширения» при попытке его включить?...

Или автоматизировать обновления? Или удалить / отключить уведомление об обновлении? Его нет в списке «установленных расширений» и переустановка не помогает. Где находятся его...

В новой установке Ubuntu (12.04, 64-bit) после установки gnome-shell я пытался установить некоторые расширения из extensions.gnome.org, но не получил результата. Я пробовал с Firefox и Chromium и получил ту же проблему. Откройте любую страницу расширения на extensions.gnome.org. Переключите...

Что тут происходит? Я установил расширение Dash to Dock в Ubuntu 17.10. Все было круто, и когда я пытался отточить и настроить внешний вид своего рабочего стола, в какой-то момент панель ярлыков (док?) Слева дублировалась. По умолчанию, который обычно исчезает с Dash to Dock, находится под тем,...

Я знаю, что вопросы, которые звучат так, как этот, задавались ранее, но ни одно из «решений» не работает для меня. Я использую вариант Gnome Classic . Я не мог найти расширение, которое делает то, что я хочу. Я не могу найти запись для gnome-panelв моем dconfEditor Пожалуйста, помогите мне. Я...

Иногда я получаю сообщения о том, что есть обновление для одного из моих расширений GNOME Shell, и направляет меня на https://extensions.gnome.org/local/, где я могу запустить обновление через веб-интерфейс. Я бы предпочел вызывать обновления из командной строки, аналогично вызову apt update...