How to create an animated GIF from MP4 video via command line? - Ask Ubuntu

I want make an animated .gif from an .mp4 video. I would prefer to do it from the command line, so please only list command line tools.

18.04 - I'm looking for a command to flash screens (if possible in colors) - Ask Ubuntu

Are animated GIFs of screencasts welcome at Ask Ubuntu? - Ask Ubuntu Meta

Ubuntu Screen Recorder - javatpoint