¿Como pasar de .avi a mpeg4?

Pero el avi es un divx o no? si es un divx ya está codificado en mpeg4. Si lo quieres pasar a divx puedes usar este script que utiliza el mencoder

#!/bin/bash

if [ $# != 1 ] ; then
echo "Uso: encodea-dvd <tiempo en segundos de la peli>"
echo ""
exit 1
fi

Maximo tamanyo es 700mb o sea 716800kbytes pero ponemos un poco menos

por si acaso

MAXSIZE=700000

SEGUNDOS=$3
MINUTOS=$(($SEGUNDOS/60))

#Rate del audio es 128bits/s o 16kbytes/s
AUDIOSIZE=$((16$SEGUNDOS))
LIBRE=$(($MAXSIZE - $AUDIOSIZE))
RATE=$((($LIBRE8) / $SEGUNDOS))

echo "Calculando rate para pelicula de duracion $MINUTOS minutos..."

echo "Rate estimado: $RATE"

FINALSIZE=$(( ($RATE * $SEGUNDOS)/8 + $AUDIOSIZE))

echo "Tamaño estimado: $FINALSIZE"

echo "El comando seria:"
echo "mencoder $1 -ovc lavc \
-lavcopts vcodec=mpeg4:vhq:vbitrate=$RATE \
-vop scale -zoom -xy 640 -oac mp3lame \
-lameopts abr:br=128 -o $2"

Si el script lo llamas avi2divx lo puedes pasar de la siguiente manera

avi2divx nombreoriginal.avi nombredeldivx.avi tiempo_en_segundos_de_la_peli_original

por ejemplo si la peli se llama peli1.avi sería algo así

avi2divx peli1.avi pelidivx.avi 3600 (3600 corresponde una hora de la peli original).

Y punto