上一篇说到PulseAudio由于一个bug导致HDMI默认创建的设备不对，无法输出声音。最新的PulseAudio 2.0修复了此bug，现在可以不用做任何特殊配置就可以使用HDMI设备了。

另外说一句，Octopress好像不支持原文修改更新，只好再写了这篇短文，算是对上一篇的更新。