Я следовал инструкциям из здесь , но я получил следующую ошибку при попытке установить gnome-shell-extensions-user-theme:
The following packages have unmet dependencies:
gnome-shell-extensions-user-theme : Depends: gnome-shell-extensions-common but it is not going to be installed
Дополнительная информация:
Запуск Ubuntu с помощью Gnome3
gnome-shell-extensions-common зависит от gnome-shell-extensions, который уже включает расширение user-theme и поэтому конфликтует с пакетом gnome-shell-extensions-user-theme. Кажется, что-то не так с зависимостями в этом хранилище.
В любом случае, вы можете просто установить gnome-shell-extensions, который имеет расширение пользовательской темы. Это то, что я сделал, и это сработало.
Измените темы, используя gnome-tweak-tool.
Вы можете заставить версию пакета gnome-shell-extensions-common предоставлять тот же PPA, с которого пытаетесь установить gnome-shell-extensions-user-theme. Мне интересно, если у вас есть разные репозитории, предоставьте эти пакеты в ваших источниках ...
В вашем терминале сделайте это:
sudo apt-get install gnome-shell-extensions-common
sudo apt-get install -f