#!/bin/sh # this script can be used to convert AVI movie files (like the ones you take with digital cameras) # to ogg video files if [ ! "$1" ]; then echo "usage: avi_to_ogg " 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.