#!/bin/sh
# this script can be used to convert AVI movie files (like the ones you take with digital cameras)
# to ogg video files

set -v


if [ ! "$1" ]; then
 echo "usage: avi_to_ogg <avi filename>"
 exit -1
fi


# create ogg filename
ogg_filename=`echo $1 | sed 's/avi/ogg/'`

gst-launch filesrc location="$1" ! decodebin name="decode" decode. ! queue  \
! ffmpegcolorspace ! theoraenc quality=32 ! oggmux name=mux ! \
filesink location="$ogg_filename" decode. ! queue ! audioconvert ! vorbisenc ! queue ! mux.