As a teacher, I'd like to use this in presentation slides, i.e. pause the output at specific times and continue only after a button is pressed. Does anyone know if there exists a tool, e.g., to automatically pause MP4 playback at specific times?
[1] https://github.com/sleuth-io/code-video-generator [2] https://youtu.be/e21hJnB9J5k?t=44 [3] https://obsproject.com/
This allows you to e.g. get the current time (get_time) and pause playback (pause). So you just have to write a small script that issues the commands the way you want and you'll be good.
I did exactly what you want using a small reveal.js plugin that parses the list of partial files generated by manim and inserts the corresponding video files into the presentation in thst order, it worked quite well. Let me know if you're interested and I'll throw it up on a GitHub gist.
Or you could pause the video manually; in Keynote, press K to play/pause.