Well, the simplest way is to use avidemux.
You can also use ffmpeg or mencoder.
As I have some movies of this type taken with a digital camera, I'll show you what I do.
First run 'ffmpeg -i' on the video and get:
Code:
bash-3.1$ ffmpeg -i photo-hq.AVI
FFmpeg version SVN-r16141, Copyright (c) 2000-2008 Fabrice Bellard, et al.
...
Input #0, avi, from 'photo-hq.AVI':
Duration: 00:01:26.80, start: 0.000000, bitrate: 8539 kb/s
Stream #0.0: Video: mjpeg, yuvj422p, 640x480, 30.00 tb(r)
Stream #0.1: Audio: pcm_u8, 8000 Hz, mono, s16, 64 kb/s
At least one output file must be specified
This gives you info on the video.
To compress this a bit, encode it using libx264, libxvid, mpeg4, and even flv if you find the quality acceptable.
To do this I run:
Code:
ffmpeg -i 'input.avi' -sameq -aspect 4:3 -vcodec libx264 -r 30 -ab 64k -acodec libmp3lame output.avi
You can also try other audio codecs. Run 'ffmpeg -formats'.
For more on what these options mean see the documentation:
http://ffmpeg.mplayerhq.hu/ffmpeg-doc.html