1 files changed, 21 insertions, 0 deletions
diff --git a/do_gen_gif b/do_gen_gif
new file mode 100755
index 0000000..bcd3b0c
--- /dev/null
+++ b/do_gen_gif
@@ -0,0 +1,21 @@
+#!/bin/sh
+
+# Turn video files on STDIN into GIFs.
+
+FPS=${FPS:-10}
+SCALE=${SCALE:-480}
+
+while [ $1 ]
+do
+    BASENAME=$(echo $1 | cut -d'.' -f1)
+    FRAMEDIR=/tmp/$BASENAME-frames-$(date +%s)
+
+    mkdir -p $FRAMEDIR
+    echo Writing frames...
+    ffmpeg -loglevel quiet -i $1 -vf scale=-1:$SCALE,fps=$FPS $FRAMEDIR/%05d.png
+    echo Creating GIF...
+    convert -loop 0 $FRAMEDIR/*.png $BASENAME.gif
+    rm -r $FRAMEDIR
+    echo Done.
+    shift
+done