Я использую Ubuntu 18.04, когда пытаюсь установить рабочую область расширения для стыковки, она устанавливает расширение из http://extensions.gnome.org/ для версии оболочки 3.26 (более старая в случае ubuntu 18.04 - 3.28 ) и расширение не перечисляет версию оболочки 3.28. Есть ли другой способ установить его через zip-файл или что-то еще, потому что
необходимо попробовать
apt install gnome-shell-extension-workspaces-to-dock
или установите grom GitHub
wget https://github.com/passingthru67/workspaces-to-dock/archive/master.zip -O /tmp/master.zip
unzip /tmp/master.zip -d /tmp/
#create extension folder if needed
mkdir '~/.local/share/gnome-shell/extensions/'
mv '/tmp/workspaces-to-dock-master/workspaces-to-dock@passingthru67.gmail.com' '~/.local/share/gnome-shell/extensions/workspaces-to-dock@passingthru67.gmail.com'
rm /tmp/master.zip
rm -rf /tmp/workspaces-to-dock-master/
затем оболочка гнома перезапуска (Alt+F2, r, возвращаются),