Петр Ковар (Petr Kovar)
pknbe@volny.cz 2013
Расширения GNOME Shell позволяют настроить, используемый по умолчанию, интерфейс GNOME Shell.
Ser82-png
asvmail.as@gmail.com 2022-2023

# Что такое расширения 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 выберите вкладку Расширения, чтобы открыть список установленных расширений.