2htdp/image includes save-image, a built-in way to easily export an image to disk. Is there a comparably easy way to save a movie that you'd produce with the run-movie function?
You probably want to rewrite your animation using big-bang and use the record? clause.
1 Like
Not a movie but big-bang has a clause called record?, which generates an animated gif (and all scenes) of an animation in a directory.