PulseAudio is the sound server of the future and is the default in many distros, including Ubuntu and Fedora now. However, it seems to me like recordmydesktop is incompatible with it. I couldn't get it to record from my microphone through pulseaudio; I had to shut down the pulseaudio daemon and set gstreamer-properties to use alsa as the recording source. However, I'd like being able to 1) not disable pulseaudio 2) benefit from the great mixing of pulseaudio (sound from a virtualbox machine at the same time as I'm recording!). Thanks.