If you want to convert from Flash to AVI (on linux) there is a good script here. It uses mencoder to convert files specified on the command line to XVID or DIVX - files are created using the same filename, but with an avi extension.
Converting from Flash to AVI
Previous post: Prototype, JSON and Appengine
Next post: MyOnlineProfile.net launches

