Gnome: Полезные расширения

anonymous@undisclosed.example.com (Anonymous) — Thu, 21 Apr 2022 12:30:54 +0000

Установить расширения можно сразу отсюда: https://extensions.gnome.org/

Чтобы можно было ставить расширения сразу с сайта, предварительно требуется установить пакет:

sudo apt install gnome-shell-extensions

Расширения:

Applications Menu https://extensions.gnome.org/extension/6/applications-menu/ - добавляет меню приложений
Caffeine https://extensions.gnome.org/extension/517/caffeine/ - позволяет отключать в 1 клик скринсейвер и автоматическое засыпание
Dynamic Panel Transparency https://extensions.gnome.org/extension/1011/dynamic-panel-transparency/ - динамическая прозрачность панелек
Extension List https://extensions.gnome.org/extension/3088/extension-list/ - быстрый переход к управлению расширениями
Places Status Indicator https://extensions.gnome.org/extension/8/places-status-indicator/ - отображает в панели ссылку на «Places»
Sound Input & Output Device Chooser https://extensions.gnome.org/extension/906/sound-output-device-chooser/ - управление звуковыми устройствами
Unite https://extensions.gnome.org/extension/1287/unite/ - сжимает пробелы и пропуски между иконками и прочими элементами панели статусов

RTzRa's hive - software:gnome