Вот как заставить работать расширение в версии Gnome Shell.

Обычно вы можете загружать расширения в виде почтовых индексов - ищите ссылку на github на соответствующей странице расширения :

Нажмите Download Zip:

и распакуйте zip-файл в ~/.local/share/gnome-shell/extensions.

Просмотрите извлеченную папку для файла metadata.json:

и отредактируйте его в текстовом редакторе:

добавьте эту строку в скобках «версия-оболочки», с вашей версией оболочки. :

   [3.5],

, а затем выберите и скопируйте UUID, сохраните и выйдите из текстового редактора. ,

Вернитесь к ~/.local/share/gnome-shell/extensions и переименуйте только что извлеченную папку в скопированный UUID - щелкните правой кнопкой мыши> Переименовать> Вставить ( Ctrl + V ) . [одна тысяча сто двадцать два]

Надеемся, что вы сможете включить его в Gnome Tweak Tool .

Надеюсь, что это работает - похоже, работает для Gnome 3.8 & amp; 3.10 [+1124]