Discuz! BBS

 找回密码
 立即注册
搜索
热搜: 活动 交友 discuz
查看: 1097|回复: 0

手工安装Gnome extension

[复制链接]

254

主题

363

帖子

2431

积分

管理员

Rank: 9Rank: 9Rank: 9

积分
2431
发表于 2023-6-14 01:41:04 | 显示全部楼层 |阅读模式
手工安装,首先查看扩展列表:
gnome-extensions list --user
gnome-extensions list --system
查看扩展的信息:
gnome-extensions info my_own_extension@gnome-shell-extensions.com
注意有几个状态:  ENABLED INITIALIZED  ,第二种不知什么原因,是启动失败?的。

三、扩展安装地址:(转载具体说明博客请见  https://zhuanlan.zhihu.com/p/545083349
地址   https://extensions.gnome.org/extension/4530/cpudots/          这只是其一,具体请见说明博客。

四、下载了zip文件之后,手工安装(ref: https://blog.51cto.com/u_11101184/3135491
五、安装扩展的三个方法:
1) apt:    这个问题多多,不直观,不建议:
apt-cache search gnome-shell-extension | grep gnome-shell-extension
apt install -y gnome-shell-extension-top-icons-plus   
(yum install gnome-shell-extensions)
(yum install gnome-tweak-tool)
这种方式安装的扩展位于  /usr/share/gnome-shell/extension  中。

2) 通过浏览器安装:(火狐/谷歌)
GNOME Shell integration  的插件,直接安装。
插件安好后,可以访问  https://extensions.gnome.org   直接向本地安装插件, 还能查看本地已经安装的插件。谷歌浏览器也可以使用该插件。

3)手动安装:
最简单的安装方法,直接下载**.tar.gz扩展模块,然后 gnome-extensions install **.tar.gz  该方法将模块加载到.local / share 目录下面(具体位置请自行搜索),然后注意要将会话重启,之后就可以用扩展管理器管理了。


可以下载源码包,或者下载zip包,介绍第二种:可安装在/usr/share/......或$HOME/.local/share/gnome-shell/extensions/中。
安装方法:
a)  gnome-shell --version   
查看GNOME  Shell  版本。
b)根据该版本到 extensions.gnome.org下载相应zip。
c)获取UUID值,用以创建目录:
unzip -c some.shellextension.zip  metadata.json | grep uuid | cut -d \" -f4
d)然后创建目录(这一步也不是必须??)
mkdir -pv  "/usr/share/gnome-shell/extensions/<UUID>"   将刚才的UUID替换<UUID>
e)解压(这里解压到了~/.local下面,如果要解压到d)步骤的目录下,会有问题,这个需要再测验。)
unzip -x some.shellextension.zip -C $HOME/.local/share/gnome-shell/extensions/<UUID>
f)启用扩展:
gnome-shell-extension-tool -e "<UUID>"
g)  注意要重新启动:
Alt+F2  =>  r  => Enter   重新启动会话。
回复

使用道具 举报

您需要登录后才可以回帖 登录 | 立即注册

本版积分规则

Archiver|手机版|小黑屋|DiscuzX

GMT+8, 2025-4-16 09:09 , Processed in 0.014307 second(s), 18 queries .

Powered by Discuz! X3.4

Copyright © 2001-2020, Tencent Cloud.

快速回复 返回顶部 返回列表