rm /etc/profile.d/globalmenu.sh fez o trabalho. Ele exportou um apêndice GTK_MODULES
Eu encontrei isso procurando o conteúdo de um deb package
Eu tenho jogado com o GNOME 3 Shell e gostei muito até agora.
Mas instalei uma extensão que fornece o menu do aplicativo para a barra superior. Acho que é uma ótima ideia permitir que o usuário escolha onde deseja ver seu menu.
No entanto, há um bug nessa extensão: sempre que eu desativo - meu menu desaparece. Agora é apenas inexistente, por isso não posso realmente Arquivar > Sair ou qualquer coisa assim.
Então, eu gostaria de saber como consertar meu GNOME agora. Eu tentei
dpkg-reconfigure gnome-shell
... mas sem sucesso, sem saída.
P.S. ele é chamado de extensão de menu global, o pacote deb está nos repositórios oficiais do Ubuntu, por isso é chamado gnome3-globalmenu .
Tags gnome-shell gnome3