sudo pacman -Sy gnome-browser-connector git clone https://github.com/home-sweet-gnome/dash-to-panel.git cd ~/dash-to-panel make install reboot после чего устанавливаем расширение для браузера. GNOME Shell integration жмём на него, откроется сайт, в поиске ищем Dash to Panel двигаем тумблер в положение ON Если всё сделали правильно, панель появится сразу.
Если из исходников собрать не получилось, можно установить через сайт.