1 files changed, 0 insertions, 21 deletions
diff --git a/do_gen_gif b/do_gen_gif
deleted file mode 100755
index bcd3b0c..0000000
--- a/do_gen_gif
+++ /dev/null
@@ -1,21 +0,0 @@
-#!/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