Eu estava tendo um problema semelhante. gnome-shell-extensions-user-theme é 3.2, enquanto o shell é 3.4. As extensões do shell parecem ser gerenciadas pela instalação do link em vez de você mesmo por meio do gerenciador de pacotes.
Eu tenho gnome-tweak-tool install e uso regularmente. No entanto, não consigo instalar o gnome-shell-extensions-user-theme para alterar o shell.
Eu já tenho o ppa mas quando ele coloca
sudo apt-get instala o gnome-shell-extensions-user-theme
no terminal eu recebo essa saída.
dvorak@dvorak-g51vx:~$ sudo apt-get install gnome-shell-extensions-user-theme
[sudo] password for dvorak:
Reading package lists... Done
Building dependency tree
Reading state information... Done
Some packages could not be installed. This may mean that you have requested an
impossible situation or if you are using the unstable distribution that some
required packages have not yet been created or been moved out of Incoming.
The following information may help to resolve the situation:
The following packages have unmet dependencies:
gnome-shell-extensions-user-theme : Depends: gnome-shell-extensions-common
but it is not going to be installed
E: Unable to correct problems, you have held broken packages.
Alguém pode elaborar sobre o que estou fazendo errado? Eu tentei instalar e remover ambas as dependências não satisfeitas com o mesmo erro.
Eu estava tendo um problema semelhante. gnome-shell-extensions-user-theme é 3.2, enquanto o shell é 3.4. As extensões do shell parecem ser gerenciadas pela instalação do link em vez de você mesmo por meio do gerenciador de pacotes.
Experimente;
sudo apt-get update
sudo apt-get dist-upgrade
sudo apt-get install -f
Em seguida, tente instalar gnome-shell-extensions-user-theme
novamente
sudo apt-get install gnome-shell-extensions-user-theme
Se você receber alguma mensagem de erro com os 3 primeiros comandos, poste de volta ou use pastebin
Tags gnome-tweak-tool