Creating Animated GIF from a Video in BASH

Open a terminal in the folder where the video is located

Play the video and determine (timeline wise), start and duration for the GIF

Type in the following BASH line

fmpeg -ss 00:07:30 -i videoname.mp4 -to 8 -r 5 -vf scale=400:-1 out.gif

-ss = start GIF here
-i = input video filename
-to = duration (in example above create an 8sec GIF)
-r = frames per sec
-vf scale = 400 px width (-1 means retain aspect ratio from original)
(for -vf scale I like to use 480 if I created the -i)