Desligar o PulseAudio é uma extensão do GNOME Shell que permite ao usuário desativar facilmente e / ou retomar o servidor de som PulseAudio. Isso é útil quando você quiser lançar um outro servidor de som, como Jack.Para instalar esta extensão você deve...