Спасибо, концепт я понял, но вот только не смог разобраться... у меня в gnome-tweak-tool нет вкладки расширения...
А на сайте расширений, указанном Вами не смог найти никакой кнопки "установить", ссылки на официальные сайты ведут на svn или git. Собирать как-то не хочется... да и не умею я нормально собирать под никсами, да еще и js, всегда где-нибудь напортачу, да так, что систему откатывать приходится... И еще: в менюхе gnome-tweak-tool у меня отсутствует, запускаю, как видите из консоли, да только ругается зараза... подскажите что надо доставить\запустить?