основной пользовательский интерфейс и управление композитингом среды рабочего стола GNOME 3, этот тег предназначен для вопросов об использовании и устранении неполадок gnome-shell, их тематизации и т. Д. Расширения должны быть дополнительно помечены как [gnome-shell-extension ]
GNOME Shell - это основной пользовательский интерфейс (оболочка) среды рабочего стола GNOME 3. Он построен на оконном менеджере Mutter и имеет JavaScript API для использования с расширениями.
Ресурсы: