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

Question

I just installed Ubuntu 20.04 and I am trying to install extensions from https://extensions.gnome.org/. 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 (https://extensions.gnome.org/extension/307/dash-to-dock/)

Answer 1

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 https://github.com/micheleg/dash-to-dock.git
   

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.