Can someone recommend a good tool on linux for making gifs (mini-animations) from movies.  Ideally I might say

makegif movie.mp4 -from 01:13:10.0 -to 01:13:15.10

or some such thing.  GUI would also be fine if not too cumbersome.  Google gives a lot of hits but of the several suggestions I tried, two didn't install and others produced poor results.  Actually
video2gif
http://www.webupd8.org/2012/10/easily-create-animated-gif-images-from.html is the one that gave the best results as far as I can tell, but still either the gif is very choppy or the resulting file is too large for tumblr.

Thanks for any suggestions

codairem