Well in the meantime I found the possible reason. The preferences of pulse audio don't let you choose a "Digital Microphone 1" such as is installed in my machine as input device. It only gives you a choice of two *analog* "Microphone 1" and "Microphone 2". Now getting around this by using alsamixer to set the correct microphone woul be a preliminary option. However this I could not test this since alsamixer can not be started (see bug #459064).
-- Microphone stopped working https://bugs.launchpad.net/bugs/450861 You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
