Comment 4 for bug 773232

Indeed, sometimes pulseaudio do not start at login (although it is set up as one of the startup applications). If I run pulseaudio I can open the sound preferences, but I cannot change the volume since the only visible output is "Dummy output".