jj/demos
Martin von Zweigbergk 78050b3d42 demos: add a --fast mode to speed up recording
It can take quite a while to record a demo. This patch adds a `--fast`
flag for reducing delays to a tenth of the usual. You can play the
recording with `asciinema play -s 0.1` to get close-to-normal speed
(except that command delays will be slower). That way you can adjust
timings with shorter round-trips.
2021-10-23 14:21:15 -07:00
..
demo_git_compat.sh demos: add a --fast mode to speed up recording 2021-10-23 14:21:15 -07:00
demo_helpers.sh demos: add a --fast mode to speed up recording 2021-10-23 14:21:15 -07:00
demo_helpers.tcl demos: add a --fast mode to speed up recording 2021-10-23 14:21:15 -07:00
demo_operation_log.sh demos: add a --fast mode to speed up recording 2021-10-23 14:21:15 -07:00
demo_working_copy.sh demos: add a --fast mode to speed up recording 2021-10-23 14:21:15 -07:00