今天我通过更新管理器进行了部分升级,在此过程中卸载了 gnome-3。我重新安装了 gnome-3,现在我无法安装任何 shell 扩展,因为它们“已过期”,尽管我使用的 gnome 版本与更新前相同(3.4.2)。只有默认扩展可以工作,例如用户主题、dock 和位置。我试图让 mediaplayer 扩展工作,但我找不到任何兼容的版本。我可以在扩展的源代码中修复这个问题并自己构建它吗?
答案1
OP 找到了答案(最初发布在问题中):
我找到了解决方案。问题是部分升级更新了 gnome3 的许多依赖项,而这些依赖项不向后兼容。这就是为什么它使每个扩展都表现得好像已经过时了。我使用一个名为 ppa-purge 的软件包来删除所有第三方软件包并将依赖项恢复到所需的最新版本。以下是我采取的步骤:
#WARNING: This will remove ALL third party ppa's!!!
sudo apt-get install ppa-purge
sudo apt-get remove gnome-shell-extensions-*
sudo apt-get purge gnome-shell
sudo apt-get purge gnome-tweak-tool
sudo ppa-purge ppa:gnome3-team/gnome3
sudo apt-get autoremove
sudo apt-get update
此后,我以正常方式重新安装了 gnome3。
sudo apt-get add ppa:gnome3-team/gnome3
sudo apt-get update
sudo apt-get install gnome-shell
sudo apt-get install gnome-tweak-tool