如何在 Gnome 3.10 上安装 Pixel Saver Gnome 扩展
答案1
要在 Gnome 版本 3.10 中使用 Pixel Saver,您需要旧版本的扩展,如扩展中所述github 自述文件页面
1.3 版将是 3.12 之前支持 gnome shell 的最后一个版本。
首先从以下位置获取 1.3 版本的 tarball:这是发布页面。
然后解压 tarball 得到一个
[email protected]
文件夹。将该文件夹复制到 Gnome shell 扩展目录中
cp -r [email protected] -t ~/.local/share/gnome-shell/extensions
使用激活它
gnome-shell-extension-tool -e [email protected]
这是项目的Github 页面
可以从 Gnome Shell 扩展页面直接安装新版本的扩展。以下是其链接
答案2
该扩展与 Gnome-shell 3.10 不兼容。但你可以像这样修改它:
app_menu.js
用以下代码替换()文件的代码/home/.local/share/gnome-shell/extensions/[email protected]
此代码- 修改文件
metadata.js
(在同一文件夹中),并添加扩展与 Gnome 3.10 兼容。
使用此代码:
"shell-version": [
"3.4",
"3.6",
"3.8",
"3.10"
],