Comprimiendo el video del robot

Esto es solo un apunte interesante, ya que el video ocupaba inicialmente unos 22Mb y, gracias a Didnt y el comando ffmpeg, se ha reducido considerablemente (ahora ocupa 2Mb). En concreto, desde linux, podemos hacer:

ffmpeg -i origen.mov -s 4cif destino.mov

Recordar que ffmpeg hay que instalarlo, mirad en vuestra distribucion como hacerlo (en ubuntu, el tipico sudo apt-get install ffmpeg funciona.)