我最近将我的 Ubuntu 18.04 升级到了 Ubuntu 18.10。但在我更新之后,它破坏了 任务栏扩展。我也尝试了其他任务栏扩展。全部不起作用。有没有什么解决方案可以解决这个问题?
答案1
我终于可以让它工作了。我认为 gnome-extension 页面已经过时了。我参考了 github repo,发现有一个问题和补丁。我克隆了存储库并将其复制到扩展文件夹。注销并登录后,它完美地工作了。使用以下命令。
git clone https://github.com/jimmytheneutrino/gnome-shell-extension-taskbar
cp -r gnome-shell-extension-taskbar/ ~/.local/share/gnome-shell/extensions/TaskBar@zpydr
复制之前,请删除所有旧版本gnome-shell-extension-taskbar/ ~/.local/share/gnome-shell/extensions/TaskBar@zpydr
。