From: Dejan Jovanović <dejan.jovanovic@gmail.com>
Date: Sat, 24 Mar 2012 21:18:37 +0000 (+0000)
Subject: a cute script to make a video of development from the svn logs
X-Git-Tag: cvc5-1.0.0~8269
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=19266a39605baad33543539b0045fc940a0d650f;p=cvc5.git

a cute script to make a video of development from the svn logs
---

diff --git a/contrib/make_devel_video.sh b/contrib/make_devel_video.sh
new file mode 100755
index 000000000..00eb9094c
--- /dev/null
+++ b/contrib/make_devel_video.sh
@@ -0,0 +1,10 @@
+#!/bin/sh
+
+# get the svn log
+svn log -r 1:HEAD --xml --verbose --quiet > cvc4-log.xml
+
+# run gource into ffmeg (first pass)
+gource --key --max-file-lag -1 -i 0 --max-files 0 --hide progress -1280x720 --user-scale 1.5 --camera-mode track --title "cvc4 trunk" -s 0.5 -r 25 --date-format "%B %d, %Y" cvc4-log.xml -o - | ffmpeg -y -r 25 -f image2pipe -vcodec ppm -i - -vcodec libx264 -vpre ultrafast_firstpass -crf 1 -threads 0 -bf 0 -s 640x360 cvc4-640x360.mp4
+
+# run gource into ffmeg (second pass)
+gource --key --max-file-lag -1 -i 0 --max-files 0 --hide progress -1280x720 --user-scale 1.5 --camera-mode track --title "cvc4 trunk" -s 0.5 -r 25 --date-format "%B %d, %Y" cvc4-log.xml -o - | ffmpeg -y -r 25 -f image2pipe -vcodec ppm -i - -vcodec libx264 -vpre ultrafast -crf 1 -threads 0 -bf 0 -s 640x360 cvc4-640x360.mp4