Если есть извращенцы как я, то внемлите. Оно работает, хоть и требует напильника:
-
идём на сайт с расширениями и скачиваем архив от fildem global menu, 41-2
-
так как в бубунте у вас гном 42 или 43 то редактируем metadata.json. нужно дописать версию 42 или 43, и ещё перебить id на fildem@gonzo
-
точно так же называем папку (каталог, отца не тревожьте)
-
ложим/кладём папку в ~/.local/share/gnome-shell/extensions
-
перезагрузка или alt+F2 restart
-
у вас же стоит extension manager? Теперь им можно воспользоваться, включите новое расширение
-
не работает нифига. скачайте и установите с гитхаба этого Гонзы костыль fildem-*.deb. Оно установит бинарник fildem который придётся пихнуть в .bashrc
-
всё ещё не работает - значит не включен appmenu-gtk-module. Проверьте что есть такое
gtk-modules="appmenu-gtk-module"
в ~/.gtkrc-2.0 и ~/.config/gtk-3.0/settings.ini
Ну теперь-то запустится. Возьмите с полки бублик
