how do you make animated video files from scilean examples?

Stream: general

[Bulhwi Cha]

HarmonicOscillator

chabulhwi@desktop ~/l/SciLean (master)> .lake/build/bin/HarmonicOscillator
oooooooooooooooooooo
ooooooooooooooooooo
oooooooooooooooo
oooooooooooooo
oooooooooo
ooooooo
ooooo
oo
o
o
o
ooo
ooooo
oooooooo
ooooooooooo
oooooooooooooo
ooooooooooooooooo
ooooooooooooooooooo
oooooooooooooooooooo
oooooooooooooooooooo
oooooooooooooooooooo
oooooooooooooooooo
oooooooooooooooo
ooooooooooooo
oooooooooo
ooooooo
oooo
oo
o
o
o
ooo
ooooo
oooooooo
ooooooooooo
oooooooooooooo
ooooooooooooooooo
ooooooooooooooooooo
oooooooooooooooooooo
oooooooooooooooooooo
oooooooooooooooooooo
oooooooooooooooooo
oooooooooooooooo
ooooooooooooo
oooooooooo
ooooooo
oooo
oo
o
o

@Tomas Skrivan How do I make an animated video file from one of SciLean's examples?

[Tomas Skrivan]

For example this gif was created by carefully adjusting the size of my command line, running the wave equation example and capturing it with screen capture ... total hack :grinning_face_with_smiling_eyes:

[Bulhwi Cha]

Oh, I had no idea. :sweat_smile: Thanks!

[Tomas Skrivan]

I have also done visualizations using widgets and screen capturing those.

[Tomas Skrivan]

For example this visualization of bezier curve