Shell do Gnome aleatoriamente segfaults:
gnome-session[1703]: gnome-session-binary[1703] WARNING: Application 'org.gnome.Shell.desktop' killed by signal 11
Eu estou supondo que é culpa de algumas extensões, mas eu não tenho instalado nenhuma nova extensão ultimamente (ou atualizei as existentes).
Como pode tentar obter mais informações sobre como encontrar o culpado? Você pode me ajudar?
Estou usando o Ubuntu 17.10.
Obrigado antecipadamente.