VHS: CLI home video recorder
Similar tool: <a href="https://asciinema.org/" rel="nofollow">https://asciinema.org/</a><p>It does not generate a GIF file, but can be easily published on the web. The recorded terminal session is clipboard friendly: you can select and copy.