asciinema rec myfile.json
docker run --rm -v $PWD:/data asciinema/asciicast2gif -s 2 myfile.json myfile.gif
ffmpeg -f gif  -i myfile.gif myfile.mp4