Что такое расширения GNOME Shell?
Расширения GNOME Shell позволяют настраивать интерфейс оболочки GNOME и его отдельных частей, таких как управление окнами и запуск приложений.
Каждое расширение GNOME Shell имеет уникальный идентификатор uuid. Также UUID используется для названия каталога, в котором установлено расширение. Вы можете установить расширение отдельно для каждого пользователя в ~/.local/share/gnome-shell/extensions/<uuid> или для всей системы в целом в /usr/share/gnome-shell/extensions/<uuid>.
Чтобы просмотреть установленные расширения, вы можете использовать Looking Glass, встроенный в GNOME Shell инструмент отладчика и инспектора.
Просмотр установленных расширений
Нажмите Alt+F2, введите lg и нажмите Enter, чтобы открыть Looking Glass.
На верхней панели Looking Glass выберите вкладку Расширения, чтобы открыть список установленных расширений.