2htdp save-movie analog of save-image?

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.