How to convert SWF to AVI in Linux?

mencoder doesn't seem to work with SWF files.

avidemux also fails.

ffmpeg only creates an audio only file when converting SWF slideshow with the following command

ffmpeg -i x.swf x.flv

How can I convert SWF to AVI in Linux?

Tried edit.py, but it gives the following erroe:

Scanning source swf file: 1-intro.swf...
Traceback (most recent call last):
  File "/home/user/Downloads/pyvnc2swf-0.9.5/pyvnc2swf/edit.py", line 248, in <module>
    if __name__ == "__main__": sys.exit(main(sys.argv))
  File "/home/user/Downloads/pyvnc2swf-0.9.5/pyvnc2swf/edit.py", line 243, in main
    debug=debug)
  File "/home/user/Downloads/pyvnc2swf-0.9.5/pyvnc2swf/edit.py", line 77, in reorganize
    movie.parse_vnc2swf(fname, True, debug=debug)
  File "/home/user/Downloads/pyvnc2swf-0.9.5/pyvnc2swf/movie.py", line 169, in parse_vnc2swf
    parser.open(fname)
  File "/home/user/Downloads/pyvnc2swf-0.9.5/pyvnc2swf/swf.py", line 165, in open
    getattr(self, name)(tag, length)
  File "/home/user/Downloads/pyvnc2swf-0.9.5/pyvnc2swf/movie.py", line 413, in scan_tag19
    self.movie.info.reg_mp3blocks(self.fp, length-4, nsamples, seeksamples)
  File "/home/user/Downloads/pyvnc2swf-0.9.5/pyvnc2swf/movie.py", line 124, in reg_mp3blocks
    MP3Reader(self.mp3).read_mp3file(fp, length, nsamples, seeksamples)
  File "/home/user/Downloads/pyvnc2swf-0.9.5/pyvnc2swf/mp3.py", line 232, in read_mp3file
    assert totalsamples == totalsamples0
AssertionError

[any ANONYMOUS forum user]

Hello!

Did you find a solution to convert SWF to video using command line on Linux?

All i can find are Windows command line tools...

Thanks a lot!

I gave up... I decided to record from screen instead.