From 5be809759209aee32df8d04fd775455991cf6902 Mon Sep 17 00:00:00 2001 From: Ilan Cosman Date: Tue, 3 Oct 2023 13:03:50 -0700 Subject: [PATCH] add asciicast_ezgif_durations --- tools/asciicast_ezgif_durations.fish | 17 +++++++++++++++++ 1 file changed, 17 insertions(+) create mode 100644 tools/asciicast_ezgif_durations.fish diff --git a/tools/asciicast_ezgif_durations.fish b/tools/asciicast_ezgif_durations.fish new file mode 100644 index 0000000..2726d03 --- /dev/null +++ b/tools/asciicast_ezgif_durations.fish @@ -0,0 +1,17 @@ +function asciicast_ezgif_durations -a file + set -l times (string match -rg "^\[([\d.]*)" <$file) + + set -l durations # Durations in hundredths of seconds + + set -l prev_time $times[1] + for time in $times[2..] + set -a durations (math --scale=0 "($time - $prev_time) * 100") + set prev_time $time + end + + set -l file_text (cat $file) + for duration in $durations + string replace -r "^\[[\d.]*" $duration $file_text[1] + set -e file_text[1] + end >$file +end