asciinema at lightning speeds

speeder.py

#!/usr/bin/env python3
""" speeder.py
Speed up your asciinema casts by an arbitrary factor.
Assumes your recording is stored at ./new and outputs a new recording at ./newer.
"""

import json
import sys

if len(sys.argv) != 2:
    print("Usage: %s <factor>" % sys.argv[0])
    sys.exit(1)

factor = int(sys.argv[1])
blob = open('new').read()
with open('new') as f:
  blob = json.load(f)

for k in blob['stdout']:
    k[0] /= factor

with open('newer', 'w') as f:
    json.dump(blob, f)

👍