[Visualpython-users] Creating .png files in Linux

[Lorenzo I. <lor...@gm...>]

Hello,
I am stepping back from my previous post, when I was asking how to
make a movie in vpython.
That was too ambitious then.
I managed to get some decent animations on my laptop (running Debian
testing); now my question is how to get at least a set of png (or any
other decent format; pdf, eps, jpg etc...) files with the "snapshots"
of my system.
I do not think I can do that directly from the window showing my
animation, but I have not been able to find online a code showing how
to achieve that.
Any help here is really welcome!
Many thanks

Lorenzo