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.

Application Workflow — DeepStream 6.3 Release documentation

14.04 - ASCII screensaver for the command-line or a TUI? - Ask Ubuntu

Python, argparse, and command line arguments - PyImageSearch

expanding digital world

Álvaro Ramírez

Ubuntu Screen Recorder - javatpoint

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

How do I create an animated gif from still images (preferably with the command line)? - Ask Ubuntu

How to Install Peek on Linux – An Animated GIF recorder on Ubuntu - GeeksforGeeks