Eric,
Dit kan je oa doen met ffmpeg.
De juiste opties die je moet opgeven weet ik ook niet van buiten.
Die zal je via man ffmpeg moeten opvragen.
Dan zal je script er zo uit te zien:
#!/bin/bash
for file in *.3gp
do
base="${file%.3gp}"
ffmpeg opties input-file-opties -i "$file" output-file-opties "$base.avi"
done
$file en $base.avi staan niet voor niets tussen aanhaaltekens, mocht er spatie's zijn in de orginele bestands-naam zitten.