Martin von Zweigbergk f72e53376f demos: set title when creating recording ...

According to asciinema.org, it should be possible to change the title
after uploading, but I couldn't figure out how to do that. Let's set
it when creating the recording. That also means it's one less step to
perform when re-running scripts.

2021-10-22 21:34:54 -07:00

..

demo_git_compat.sh

demos: set title when creating recording

2021-10-22 21:34:54 -07:00

demo_helpers.sh

demos: set title when creating recording

2021-10-22 21:34:54 -07:00

demo_helpers.tcl

demos: type faster, pause more

2021-10-22 18:36:00 -07:00