This works for me on Clear Linux 35730.
Installation
$ git clone https://github.com/home-sweet-gnome/dash-to-panel.git
$ cd dash-to-panel
$ make install
Perform a Shell reload (Alt+F2 r Enter) or logout. Then search for Extensions in Applications or launch the tool from the terminal.
$ gnome-extensions-app
Enable the “Dash to Panel” extension and click on the Gears icon → About tab.
3 Likes
Ok, new shiny Gnome 42 is here, but Dash To Panel is broken again !
So, if you get this, do the following :
$ git clone --branch gjs-71-1 https://github.com/philippun1/dash-to-panel.git
$ cd dash-to-panel
$ make install
Logout the session and then boom it’s working again 
EDIT : Panel Intellihide doesn’t seem to work though 
3 Likes
thanks for that. a few days of trying to do things “the gnome way” was driving me nutty.
edit update : it dies when I reboot.
edit : seems to install the old version. I’m going to have a root around to turn off automatic extension updates.
edit : and now the problem fixed and updated by the repository maintainer. happy days.
1 Like