#!/bin/sh

options=""

while [ $# -gt 0 -a ! -f "$1" ]; do
  options="$options $1"
  shift
done

while [ $# -gt 0 ]; do
  file=$1
  shift

  target_file=`echo $file | sed 's/\(.*\)\..*/\1.avi/'`
  echo -n "encoding $file ..."
  nokia-encode.pl $options $file $target_file
  echo " done"
done