Менеджер расширений

Gnome Shell Extensions | gnome-extension-manager

Установка:

Стандартный пакет:

sudo apt-get install gnome-extension-manager

через EPM:

epmi gnome-extension-manager

Flatpak:

flatpak install flathub com.mattjakeman.ExtensionManager

Мой основной список расширений

Включаем трэй: Appindicator Kstatus

Мониторинг системы: Vitals

Сжимаем иконки в меню пользователя: Status Area Horizontal Spacing

Тонкая настройка GNOME Shell: Shell Configurator

GS Connect: позволяет связать ваш ПК и Android смартфон.

Dash to Dock: включаем док с приложениями на рабочем столе

Dash to Panel: делаем из GNOME Windows

Desktop Icons NG: включаем иконки на рабочем столе

Arc Menu: продвинутое меню приложений