recordmydesktop pas de son

Le logiciel recordmydesktop n'est plus actif depuis 2010. Cependant, vu les deux fois par ans où je l'utilise, il m'est largement suffisant.
Cependant, il peut arriver que le son ne soit pas enregistré lors d'un enregistrement.
Pour y remédier, installer pavucontrol. Dans la section "Périphériques d'entrée", il faut choisir "Tous les périphériques".