GNOME Shell extensions are JavaScript add-ons that alter the desktop, identified by UUIDs like ubuntu-appindicators@ubuntu.com. The --enabled filter shows only active ones, while plain list shows everything installed. Pipe to grep for a specific extension.
Looking for more? Search all 7,657 commands — works offline, in English or Spanish, and fixes typos.