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

Установить расширения можно сразу отсюда: 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/ - сжимает пробелы и пропуски между иконками и прочими элементами панели статусов