Why does nothing happen when trying to install dash to dock extension?

I just installed Ubuntu 20.04 and I am trying to install extensions from . I installed the addon for Firefox to load them from the browser, but when I turn the extension on, nothing happens. No error and no message at all.

I tried these things:

1. Install gnome-shell-extensions:

   sudo apt install gnome-shell-extensions

2. Install chrome-gnome-shell:

   sudo apt install chrome-gnome-shell

3. After that I installed the GNOME Tweaks tool as follows:

   sudo apt install gnome-tweaks

4. Open the GNOME Tweaks tool as follows:

   gnome-tweaks

This happens while trying to install dash to dock ()

2 Answers

If anyone encounters this problem, I was able to solve it the following way:

1. First I removed the extension from everywhere so I made sure I'm starting out clean.

2. Then I downloaded the extension from it's GitHub repo via:

   git clone 

3. After all these, I installed the extension manually by doing the following:

   cd dash-to-dock
   git fetch --all
   git checkout origin/gnome-3.34

   (for me it was working with this 3.34 branch)

   make
   make install

4. Finally, I pressed Alt+F2 and entered r.

For me the instruction here solved the similar problem.