What is the most streamlined process in Linux for getting a high quality .AVI file burned to DVD disk for playback on normal DVD players?
Here is one more article I located recently when trying to backup an Audio CD:
The Ultimate Guide To Manage Your Audio/Video Files In Linux
a nice reference for multiple related tools.
If you're talking about a front-end GUI app, look at Devede.
Tovid might be what you're looking for. Here's an example
tovid mpg -in ski_trip.mov -out ski_trip tovid mpg -in florida.mov -out florida tovid mpg -in recital.mov -out recital tovid menu "Steamboat Ski Weekend" "Florida Beach Vacation" "My Piano Recital" -out main_menu tovid xml -menu main_menu.mpg ski_trip.mpg florida.mpg recital.mpg -out my_dvd tovid dvd -burn my_dvd.xml
Here's a link to the Tovid wiki which has details on installing and setting it up.
Not completely stream-lined, but a way to do it:
Open DeVeDe from the Ubuntu Menut at: Applications > Sound & Video > DeVeDe
Select "Video DVD" from DeVeDe's menu.
To name the DVD title, click the "Properties" button, in the "Title" section. I like my videos to reply after they're done, so I select the "Play First Title" option. Click the "OK" button
In the "Files" section of DeVeDe, click the "Add" button. A window will pop up. Under the "File" section click the folder icon (on the right), and navigate to where the AVI file is (that you created earlier using Avidemux). Click the "OK" button. If you want to add additional avi files, you can repeat this step as needed.
Under the "Menu" section, I always uncheck "Create a Menu with Subtitles", because I like the DVD to just start playing when I put it into my player (without the additional that a menu offers).
Now click the forward button, and choose were you want your DVD Iso to be placed on your file system.