Я хотел бы знать, каковы возможные способы использования HUD (Heads Up Display) в Ubuntu 18.04, подобного единице, предпочтительно с оболочкой gnome по умолчанию.
от HUD Я имею в виду доступ и поиск пунктов меню (не приложений или файлов!) При нажатии (и отпускании) alt kbd> .
Существуют ли пригодные для использования расширения гномов или сторонние приложения, работающие в 18.04?
Здесь уже есть некоторые обсуждения здесь . Но это менее конкретно, так как я ищу решение Ubuntu 18.04 (с оболочкой Gnome).
некоторые из указанных решений:
plotinus кажется многообещающим, но работает только с приложениями GTK +.
Глобальное меню приложений Gnome (HUD для Gnome) , в комментариях говорится, что оно не работает в 18.04, хотя в последнем комментарии (от 06.05.18) говорится, что последняя версия, если она установлена вручную с github, должна работать в 18.04. (Буду признателен за подробную инструкцию, как установить расширение вручную)
Меню Unity like HUD для Рабочей среды GNOME с помощью rofi меню