Comment 4 for bug 1000973

I use divxenc as frontend. Here is what it writes into it's batchfile.

#!/bin/bash
# Automatically generated by divxenc 1.6.4 on So 3. Jun 17:45:10 CEST 2012

################### START OF COMMANDS ###################

test -d "/home/sjuk" || mkdir -p "/home/sjuk"
test -d "/home/sjuk/.divxenc/job15834" || mkdir -p "/home/sjuk/.divxenc/job15834"
test -e "/home/sjuk/TORNADO.avi" && mv -f "/home/sjuk/TORNADO.avi" "/home/sjuk/TORNADO.avi.old"

nice -n 10 /usr/bin/mencoder "dvd://12" -o "/home/sjuk/TORNADO.avi" -vc mpeg12 -dvd-device /home/sjuk/Desktop/test.iso -nosub -ffourcc DX50 -vf softskip,harddup -noodml -aid 128 -channels 6 -oac copy -ovc lavc -lavcopts vcodec=mpeg4:vqscale=3:vmax_b_frames=2:vme=4:mbd=2:bidir_refine=1:cmp=2:subcmp=2:dia=-1:trell:cbp:mv0:last_pred=2:preme=1:autoaspect:threads=2

sleep 2

rm -rf "/home/sjuk/.divxenc/job15834"

#################### END OF COMMANDS ####################

I upgraded ubuntu from 11.04 to 12.04 two weeks ago. On 11.04 divxenc/mencoder worked fine.

I don't know about "avconv". What does it do and how can you use it to convert divx from an iso-file?