After setting up a new computer with Ubuntu 18.04, I noticed there's no sound coming out (from speakers, headphones or HDMI). Looking in the Sound settings (from Gnome Settings), I noticed there's only a Dummy Output as a sound output device.