После одного из недавних обновлений среди приложений появился пакет /usr/bin/gnome-shell-extension-prefs. Приложение предназначено для активации/деактивации и настройки расширений gnome-shell. И, как я понял, оно еще с версии 3.34 развивается. Для меня, как человека давно не следящего за новостями в развитии gnome, это было удивительно. Неужели решились написать свой tweak tool с картами и путанами?
Приложение отображает built-in и manually installed расширения. Среди предустановленных есть расширения, которые используются в gnome-fallback и для пользовательских gnome-shell тем (не знаю, активно ли оно изначально в режиме fallback). Вместе с этим в gsettings появились все необходимые настройки. Может они и раньше были, просто с последнего раза, как загядывал в /org/gnome/shell/ помню только списки активных расширений, которые можно было править для активации/деактивации расширений.
И вот тут у меня возникает масса вопросов. Неужели всего этого раньше не было или нужно было как-то самому заводить схемы настроек, при учете того, что tweak tool не успользуется? Или раньше для расширений использовался не gsettings? Каким-то образом же активировались все эти расширения для fallback режима.
В общем, что, tweak tool более не нужен? Конечно, у этих двух инструментов совершенно разные подходы, но если раньше кто-то использовал tweak tool только для работы с расширениями, то может и необходимость в нем отпала?
