title: Converting SWF file to animated GIF (preferreably, command line)
body: <p>I have an SWF file that contains a simple animation (spinning ball), which I want to convert into an animated GIF.</p>
  
  <p>Ideally, I would like to use a command line (bash script) to do this. Can anyone suggest any links to get me started (Google is not coming up with anything useful).</p>
  
  <p>In the event that there is no bash command for the SWF to GIF conversion, I may have to use ActionScript. In this case, any pointers to get me started would be much appreciated.</p>