diff options
Diffstat (limited to 'contrib/make_devel_video.sh')
| -rwxr-xr-x | contrib/make_devel_video.sh | 10 |
1 files changed, 10 insertions, 0 deletions
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 |