How to Combine AVIs in Ubuntu

Here's a tiny bash function I wrote to do it with mencoder (sudo apt-get install mencoder):

function combineavis() {
  read -p "Combined AVI name: " -e output
  mencoder "$@" -o "$output" -ovc copy -oac copy
}

I also found this page (which has quite a few handy snippets about lots of various Linux tasks). It recommends using avimerge -o "$output" -i "$@" instead.