multiple codecs and formats convert script with ffmpeg

convert.sh

#!/bin/bash

abort()
{
	echo >&2 ' ABORTED '
	exit 1
}

trap 'abort' 0

set -e

args=( "$@" )
formats=("avi" "ogg" "wmv" "webm" "vob" "mov" "asf" "amv")

for a in "${args[@]}"; do
	for f in "${formats[@]}"; do
		filename="${a%.*}"
		output="$filename.$f"
		echo "ffmpeg -y -i $a $output"
		ffmpeg -y -i $a $output
	done	
done

echo >&2 ' DONE '