В Ubuntu 11.10, используя gnome-tweak-tool (3.2.0-0ubuntu1), я испытываю большие трудности с поиском конкретных расширений. Порядок кажется случайным.
Я посмотрел и посмотрел .. но я не вижу никаких вариантов заказа.
Есть ли способ изменить порядок на алфавитный? Или, возможно, провайдером?
Я не считаю себя программистом 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')):