Directly Burn DVDs from .avi files
Here is a quick and simple-to-use utility to convert an AVI video file to the weird intermediate files that DVDs require, and to then write/burn the files all to a DVD. It is called avi2dvd and is written in BASH shell script.
More about it here at https://sourceforge.net/projects/avi2dvd