PulseAudioの調子が悪くてSkypeが使えなかったので，PulseAudioを削除． sudo apt-get remove pulseaudio これで削除完了．desktopなんたらも一緒に消えたが，気にしない気にしない． しかし再起動したところ，どうやらシステムサウンドがならなくなっている…