Расширения GNOME Shell - это небольшие фрагменты, которые расширяют функциональные возможности и возможности GNOME Shell. Эти фрагменты написаны на JavaScript и CSS.
Расширения GNOME Shell просто загружают произвольный JavaScript и CSS. Это дает разработчикам возможность вносить различные изменения и делиться этими изменениями с другими без необходимости исправления исходного исходного кода, его повторной компиляции и каким-либо образом распространять исправленный код.
Доступные расширения
На сайте репозитория GNOME Shell Extensions имеется большая коллекция расширений . Если у вас есть последняя версия GNOME Shell (3.2), вы должны просто включить переключатель на странице совместимого расширения, чтобы включить его.
Для получения дополнительной информации об установке и управлении установленными расширениями см. Этот вопрос: Как установить и управлять расширениями GNOME Shell?