asciinema.org/script/convert-to-typescript.sh
2012-04-06 20:50:16 +02:00

13 lines
286 B
Bash
Executable File

#!/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