i discovered making animated gifs from movies is also easy with ffmpeg.
lovely tutorial is here:
i just created that gifenc.sh (as described in the tut) in my home bin folder,
made it executable:
$ chmod u+x gifenc.sh
precut my video with
$ ffmpeg -t 5 -i INPUT.avi -c:v copy -map 0:v OUTPUT.avi
$ gifenc.sh OUTPUT.avi OUTPUT.gif