Cambiar de formato de video ogv a avi en linux con mencoder

Sí tenemos un video en formato ogv y lo queremos convertir en formato avi lo que haremos será hacer uso de mencoder.
wiki:

Encoder es un codificador de vídeo libre liberado bajo licencia GPL que se incluye en el reproductor multimedia MPlayer.

Abrimos la consola, sí no tenemos instalado mencoder lo instalamos escribiendo en ésta lo siguiente:

sudo apt-get install mencoder

 Luego de instalar mencoder, en la consola escribiremos:

mencoder -idx nuestrovideo.ogv -ovc lavc -oac mp3lame -o nuevovideo.avi

Reemplazar "nuestrovideo.ogv" por el nombre del video en formato ogv y si se quiere "nuevovideo.avi" por el nombre que queremos darle al nuevo video en formato avi.
Puede que al convertir el video a formato avi la calidad del mismo disminuya. Sí quieres conservar la calidad del video de formato ogv, entonces lo convertiremos así:

mencoder nuestrovideo.ogv -ovc lavc -lavcopts vbitrate=videobitrate -oac mp3lame -lameopts cbr br=audiobitrate -o nuevovideo.avi

Nuevamente reemplazar "nuestrovideo.ogv" por el nombre del video en formato ogv y si se quiere "nuevovideo.avi" por el nombre que queremos darle al nuevo video en formato avi. Además, debemos definir la calidad de video y audio que queremos. Sí queremos la misma calidad del video ogv usaremos el programa ffmpeg. Sí no lo tenemos instalado lo instalamos así:

sudo apt-get install ffmpeg

Luego de instalarlo escribimos en la consola:

ffmpeg -i nombredelvideo.ogv

Remplazar nombredelvideo.ogv por el nombre de su video.
En mi caso éste fue el resultado:
Lo que necesitamos le colocaré un color de fondo rojo.

ffmpeg version 0.8.10-6:0.8.10-0ubuntu0.13.10.1, Copyright (c) 2000-2013 the Libav developers
  built on Feb  6 2014 20:59:46 with gcc 4.8.1
*** THIS PROGRAM IS DEPRECATED ***
This program is only provided for compatibility and will be removed in a future release. Please use avconv instead.
[ogg @ 0x901ab80] max_analyze_duration reached
Input #0, ogg, from 'out-2.ogv':
  Duration: 00:03:13.20, start: 0.000000, bitrate: 7422 kb/s
    Stream #0.0: Data: skeleton
    Stream #0.1: Video: theora, yuv420p, 1040x752 [PAR 1:1 DAR 65:47], 15 fps, 15 tbr, 15 tbn, 15 tbc
    Stream #0.2: Audio: vorbis, 22050 Hz, mono, s16, 89 kb/s
At least one output file must be specified

Entonces, para poder convertir el video de formato ogv a avi sin perder la calidad sería:

mencoder out-2.ogv -ovc lavc -lavcopts vbitrate=7422 -oac mp3lame -lameopts cbr br=89 -o nuevovideo.avi