Расширение Dash to Panel Gnome Shell делает именно то, что вы хотите, и легко настраивается.
Вы можете установить его из программного обеспечения Ubuntu (поиск Dash на панель ) или используя терминал с командой sudo apt install gnome-shell-extension-dash-to-panel
. Предостережение: расширение не включается автоматически. Выйдите из системы и снова войдите в нее. Затем вы увидите расширение в Gnome Tweaks и можете включить его там.
Кроме того, вы можете установить расширение из расширений Gnome . Это не сразу работает при новой установке Ubuntu. См. Как установить и управлять расширениями GNOME Shell? (ответ от пользователя 364819) о том, как включить установку расширений Gnome с веб-сайта в Ubuntu.
Чтобы настроить расширение, убедитесь, что у вас установлен «Gnome Tweaks». В Gnome Tweaks, найти расширение на Extensions вкладке и нажмите на значок зубчатого для доступа к настройкам.