Convertir formato vcd en linux

En mi trabajo me solicitaron que conviritiera un video descargado de youtube en formato wmv, mp4, avi, etc.. :S, ahora que software uso, en realidad use un conjunto de sw encontrados en la web, les dejo aquí mi experiencia espero les guste.