我刚刚安装了 Ubuntu 20.04,并尝试从https://extensions.gnome.org/。我安装了 Firefox 插件以便从浏览器加载它们,但是当我打开扩展时,什么都没有发生。没有错误,也没有任何消息。
我尝试了这些事情:
安装
gnome-shell-extensions
:sudo apt install gnome-shell-extensions
安装
chrome-gnome-shell
:sudo apt install chrome-gnome-shell
之后我安装了 GNOME Tweaks 工具,如下所示:
sudo apt install gnome-tweaks
打开 GNOME Tweaks 工具如下:
gnome-tweaks
尝试安装 dash to dock 时发生这种情况(https://extensions.gnome.org/extension/307/dash-to-dock/)
答案1
如果有人遇到此问题,我可以通过以下方式解决:
首先,我从各处移除了扩展,以确保从干净的地方开始。
然后我通过以下方式从它的 GitHub repo 下载了该扩展:
git clone https://github.com/micheleg/dash-to-dock.git
完成所有这些后,我通过执行以下操作手动安装了扩展:
cd dash-to-dock git fetch --all git checkout origin/gnome-3.34
(对我来说它与这个 3.34 分支一起工作)
make make install
最后,我按下Alt+F2并输入
r
。
答案2
对我来说这里解决了类似的问题。