Почему ничего не происходит при попытке установить расширение Dash to Dock?

Я только что установил Ubuntu 20.04 и пытаюсь установить расширения из https://extensions.gnome.org/. Я установил дополнение для Firefox, чтобы загружать их из браузера, но когда я включаю расширение, ничего не происходит. Ни ошибки, ни сообщения вообще.

Я пробовал эти вещи:

1. Установить гном-оболочка-расширения:

   sudo apt установить gnome-shell-extensions
   

2. Установить хром-гном-оболочка:

   sudo apt установить chrome-gnome-shell
   

3. После этого я установил инструмент GNOME Tweaks следующим образом:

   sudo apt установить gnome-твики
   

4. Откройте инструмент GNOME Tweaks следующим образом:

   гном-твики
   

Это происходит при попытке установить тире в док (https://extensions.gnome.org/extension/307/dash-to-dock/)

Для меня инструкция здесь решил аналогичную проблему.

Если кто-то столкнется с этой проблемой, я смог решить ее следующим образом:

1. Сначала я удалил расширение отовсюду, чтобы убедиться, что начинаю с чистого листа.

2. Затем я загрузил расширение из репозитория GitHub через:

   клон git https://github.com/micheleg/dash-to-dock.git
   

3. После всего этого я установил расширение вручную, выполнив следующие действия:

   компакт-диск тире к док-станции
   git fetch --все
   Git проверить происхождение/gnome-3.34
   

   (для меня это работало с этой веткой 3.34)

   делать
   сделать установку
   

4. Наконец я нажал Альт+F2 и вошел р.