De ce nu se întâmplă nimic când încerci să instalezi extensia Dash to Dock?

Tocmai am instalat Ubuntu 20.04 și încerc să instalez extensii din https://extensions.gnome.org/. Am instalat suplimentul pentru Firefox pentru a le încărca din browser, dar când pornesc extensia, nu se întâmplă nimic. Nicio eroare și niciun mesaj.

Am incercat aceste lucruri:

1. Instalare gnome-shell-extensions:

   sudo apt install gnome-shell-extensions
   

2. Instalare chrome-gnome-shell:

   sudo apt install chrome-gnome-shell
   

3. După aceea, am instalat instrumentul GNOME Tweaks după cum urmează:

   sudo apt install gnome-tweaks
   

4. Deschideți instrumentul GNOME Tweaks după cum urmează:

   gnome-tweaks
   

Acest lucru se întâmplă în timp ce încercați să instalați dash la andocare (https://extensions.gnome.org/extension/307/dash-to-dock/)

Dacă cineva întâmpină această problemă, am reușit să o rezolv în felul următor:

1. Mai întâi am eliminat extensia de peste tot, așa că m-am asigurat că încep curat.

2. Apoi am descărcat extensia din depozitul său GitHub prin:

   git clone https://github.com/micheleg/dash-to-dock.git
   

3. După toate acestea, am instalat manual extensia făcând următoarele:

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

   (pentru mine a funcționat cu această ramură 3.34)

   face
   face instalarea
   

4. În cele din urmă, am apăsat Alt+F2 si a intrat r.

Pentru mine instrucțiunea Aici rezolvat problema similara.