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