Consegui resolver isso por:
- Inicializando o Live CD do Ubuntu Gnome 17.04
- Montando meu sistema de arquivos (
sudo mount /dev/sdaX /mnt
) - Copiando as extensões do sistema de arquivos do Live CD para meu sistema de arquivos real (
sudo rsync -a /usr/share/gnome-shell/extensions/ /mnt/usr/share/gnome-shell/extensions/
)
Acredito que isso tenha algo a ver com versões incompatíveis da extensão e do shell do gnome, mas não tenho certeza.
Editar:
Esta é uma solução mais simples:
Como atualizei a extensão usando o Google Chrome, a versão atualizada foi salva em ~/.local/share/gnome-shell/extensions
e a original ainda existia em /usr/share/gnome-shell/extensions
, portanto, o problema pode ser resolvido simplesmente digitando rm -rf ~/.local/share/gnome-shell/extensions/[email protected]/