No matter what codec I specify, the recording doesn't seem to work.
It creates a file in my $HOME with a size of "3686" (no matter how
long I record). Any clues what can be wrong?
Thanks in advance,
 $ file movie-<...>.avi
movie-<...>.avi: RIFF (little-endian) data, AVI