Estou usando o Ubuntu Mate 16.10 com o gnome 3.18.5. Recentemente eu tinha instalado o tema do arco para o gnome. Eu também tinha instalado algumas extensões. Tudo estava bem, até que percebi que o som de login no desktop não estava mais sendo reproduzido. Também alguns sons de notificação como ligar / desligar o usb não está jogando. Não foi possível encontrar soluções relevantes. Por favor ajude.