+if [ -n "$crop" ]; then
+ crop="-vf crop=$crop"
+fi
+
+if [ $# -eq 1 ]; then
+ input="$1"
+else
+ input=concat:"`echo \"$@\" | sed 's/ /|/g'`"
+fi
+
+if [ -z "$output" ]; then
+ output=output.avi
+fi
+
+if [ "$vcodec" = mpeg4 ]; then
+ vopts="-g 300 -bf 2"
+
+elif [ "$vcodec" = mpeg4-hq ]; then
+ vcodec=mpeg4
+ vopts="-g 300 -bf 2 -mbd rd -flags +mv4+aic -trellis 2 -cmp 2 -subcmp 2"
+
+elif [ "$vcodec" = mpeg4-vhq ]; then
+ vcodec=mpeg4
+ vopts="-g 200 -bf 2 -mbd rd -flags +mv4+aic+qprd+mv0 -flags2 skiprd -trellis 2 -cmp 2 -subcmp 2"
+
+elif [ "$vcodec" = x264 ]; then
+ vcodec=libx264
+
+elif [ "$vcodec" = x264-hq ]; then
+ vcodec=libx264
+ vopts="-preset slow"
+
+elif [ "$vcodec" = x264-vhq ]; then
+ vcodec=libx264
+ vopts="-preset veryslow"
+
+else
+ echo "Unknown video codec $vcodec; known codecs are {mpeg4,x264}[-[v]hq], copy" >&2
+ exit 1
+fi