Я загрузил расширение с сайта расширений gnome-shell.
Файл представлял собой zip-архив, и я распаковал его, теперь у меня есть папка со всеми файлами расширений. Что дальше? где мне его поставить?
Есть 2 каталога, в которые вы можете поместить свои расширения, один для установленных вручную и один. другой для автоматически установленных.
Вы не должны касаться этого последнего, и вы должны положить все в:
/ home / [ИМЯ ПОЛЬЗОВАТЕЛЯ] /. Local / share / gnome-shell / extensions /
.
Не стоит трогать: / usr / share / gnome-shell / extensions /
.
После этого вы должны активировать расширение из твиков или из приложения расширений.