Comment mettre à jour pulseaudio

J'ai des problèmes avec le son, parfois il se fige et se désynchronise avec l'image. VLC me donne une erreur, et il est dit que je devrais passer à pulseaudio 3.0. J'utilise Ubuntu 12.10 et pulseaudio est

$ pulseaudio --version
pulseaudio 2.1

Dois-je mettre à niveau? Et si oui, comment?

Vous pouvez installer pulseaudio 2.0 depuis le ubuntu-audio-devppa:

sudo add-apt-repository ppa:ubuntu-audio-dev
sudo apt-get update
sudo apt-get upgrade

Avec la mise à niveau vers 13.04, pulseaudio a été mis à jour vers la version 3.0 et les problèmes ont disparu.