Eu atualizei recentemente para o Ubuntu 12.04, e todas as extensões do shell do gnome listadas pela ferramenta Gnome Tweak estão desabilitadas. Qual é a maneira mais fácil de corrigir / atualizá-los? Preciso excluir manualmente, baixar e instalar novamente?
Vá para extensions.gnome.org com o Firefox ou o Epiphany e, em seguida, para "Extensões instaladas". Alguns podem me acinzentar, o que significa que eles não estão disponíveis no Gnome 3.4, mas outros provavelmente têm um ícone verde à esquerda com o qual você pode atualizar a extensão.
Há também uma extensão webupd8 para atualizar todas as extensões.
Observe que as instruções de instalação do artigo estão erradas e devem ser:
sudo apt-get install git-core gnome-common
git clone git://github.com/eonpatapon/gnome-shell-extension-updater.git
cd gnome-shell-extension-updater
./autogen.sh
make
sudo make install