Для чого призначено розширення GNOME Shell?

Розширення GNOME Shell надають змогу налаштовувати типовий інтерфейс GNOME Shell та його частини, зокрема засоби керування вікнами та запуску програм.

Кожне розширення GNOME Shell ідентифікується за унікальним ідентифікатором, uuid. Цей ідентифікатор, uuid, також використовується для назви каталогу, до якого встановлено розширення. Розширення можна встановити або для окремого користувача, до ~/.local/share/gnome-shell/extensions/<uuid>, або на рівні системи, до /usr/share/gnome-shell/extensions/<uuid>.

Щоб переглянути встановлені розширення, ви можете скористатися Збільшувальним склом, інтегрованим засобом діагностики та інспекції GNOME Shell.

Перегляд встановлених розширень

  1. Натисніть комбінацію клавіш Alt+F2, введіть lg і натисніть Enter, щоб відкрити Збільшувальне скло.

  2. На верхній панелі Збільшувального скла натисніть пункт Розширення, щоб відкрити список встановлених розширень.