O Ubuntu GNOME 17.04 vem com muitas " oficiais " extensões do GNOME por padrão, Lista de Janelas é uma delas. Essas extensões não são armazenadas em ~/.local/share/gnome-shell/extensions
, mas em /usr/share/gnome-shell/extensions
.
Não é de todo recomendável executar rm
em uma pasta do sistema, pois isso pode quebrar coisas dentro do shell do GNOME ou, na próxima atualização de pacote, reinstalar a extensão. Tente desativá-lo, em vez disso, usando o GNOME Tweak Tool ou o link e, em seguida, efetue logout e login novamente.
Se você estiver absolutamente positivo sobre a remoção da extensão, terá que executar o comando rm
em /usr/share/gnome-shell/extensions
(primeiro verifique se ele está lá usando ls
).