agg is a command-line tool for generating animated GIF files from terminal session recordings. Alternatively, if you have Docker, Podman or another Docker-compatible tool installed you can use it to ...
If you want, you can also get the GUI version of gifski—just be aware that it's got less precision when it comes to adjusting FPS and (iirc) nothing for adjusting the resolution. Add the file ...