认识
官网：https://mattjakeman.com/apps/extension-manager
文档：https://github.com/mjakeman/extension-manager/wiki
仓库：https://github.com/mjakeman/extension-manager
Extension Manager is a feature-complete way to customise your GNOME Desktop.
性质
Browse
Search
https://extensions.gnome.org/ directly from the app.
https://extensions.gnome.org/ directly from the app.
Explore
View screenshots and read comments from other users.
Install & Remove
Manage the extensions installed on your system.
Updates
Extensions will be automatically updated to the latest version (GNOME 43+).
Translations
Fully translated into more than 25 languages!
构建
Using the Extension Manager Application: apt install gnome-shell-extension-manager