在 Ubuntu 11.10 上使用 gnome-tweak-tool (3.2.0-0ubuntu1) 时,我很难找到特定的扩展。顺序似乎是随机的。
我已经看了很多次了,但没有看到任何订购选项。
有没有办法将排序改为按字母顺序?或者按提供商排序?
答案1
我不认为自己是专业的 Python 程序员,所以这可能不是最有效的方法。事实上,我不得不做一些分类研究因为我已经有一段时间没用过python了。
如果您打开/usr/share/pyshared/gtweak/tweaks/tweak_shell_extensions.py
,并在文件顶部添加以下导入:
from operator import itemgetter
然后在脚本的底部,修改 try 块以对扩展进行排序(大约在第 154 行):
try:
#add a tweak for each installed extension
extensions = shell.list_extensions().values()
for extension in sorted(extensions, key=itemgetter('name')):