How to convert DVD iso to avi using mplayer

Here is a python script to convert an .iso of a DVD to avi and to encode it using mpeg4. It is a slightly modified version of the script found at http://lists.mplayerhq.hu/pipermail/mplayer-users/2003-April/032226.html to work with newer versions of mplayer/mencoder. Later edit: It seems that mplayer/mencoder know to play/convert .iso files directly so we can do:…