FICHA · AUR

gnome-shell-extension-extension-list-git

GNOME Shell extension to manage extensions from the top panel

  • shell-extension
  • DESKTOP-EXTENSION
official+codex · reviewed · May 31, 2026 description in en

Description

Installed GNOME Shell extensions can be managed from the top panel. It is useful for quickly enabling, disabling or checking extensions without opening a separate settings tool.

Disabling the wrong extension can change desktop layout or remove needed controls. Keep a recovery path if you manage critical shell extensions.

Permissions

Permissions not analysed for this source yet.