I'm not so sure this is fixed. gnome-shell 3.4.1-5ubuntu1 does now create unique files for each recording, but those file are all exactly 300 bytes. The contents appear to be a valid webm header, but obviously contain no actual video data, and cannot be played back by VLC for example.
I'm not so sure this is fixed. gnome-shell 3.4.1-5ubuntu1 does now create unique files for each recording, but those file are all exactly 300 bytes. The contents appear to be a valid webm header, but obviously contain no actual video data, and cannot be played back by VLC for example.