К сожалению, прежде установленный
gnome-tweak-tool, не имел важной опции -
Shell Extensions.
Есть версия, в которой это исправлено:
Установка:
$ cd && git clone git://git.gnome.org/gnome-tweak-tool
Запускать непосредственно из папки файл
gnome-tweak-tool.