我使用的是 ubuntu 18.04,当尝试安装扩展工作区到 dock 时,它会从http://extensions.gnome.org/对于 shell 版本 3.26(ubuntu 18.04 中为 3.28,版本较旧),扩展未列出 shell 版本 3.28。有没有其他方法可以通过 zip 文件或其他方式安装它,因为
答案1
你应该试试
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/[email protected]' '~/.local/share/gnome-shell/extensions/[email protected]'
rm /tmp/master.zip
rm -rf /tmp/workspaces-to-dock-master/
然后重新启动 gnome-shell(Alt+F2,r,返回)