Spegni PulseAudio è un'estensione GNOME Shell che permette all'utente di attivare via facilmente e / o riprendere il server audio PulseAudio. Questo è utile quando si vuole lanciare un altro server audio, come Jack.Per installare questa estensione...