asciinema.org/script/convert-to-typescript.sh

13 lines
286 B
Bash
Raw Normal View History

2012-04-03 16:54:56 +00:00
#!/bin/bash
in_data_file="$1"
in_timing_file="$2"
out_data_file="$3"
out_timing_file="$4"
echo '# Foo' >$out_data_file
bzip2 -c -d $in_data_file >>$out_data_file
(echo 0.0; bzip2 -c -d $in_timing_file | awk '{ print $2; print $1 }' | head -n -1) | xargs -L 2 echo >$out_timing_file