I was listening to music, and my sound suddenly went dead in all my applications. I'm using Ubuntu 12.04, which uses pulseaudio, so I tried
sudo /etc/init.d/pulseaudio restart, but nothing happened. According to
lsof | grep pcm, nothing is using the soundcard at the moment, although I'm not entirely sure if my source for that command is applicable.
Is there a way another way to restart Ubuntu 12.04's sound system from the command line without rebooting the system?