In case you did not know about this tool: https://asciinema.org/ https://asciinema.org/ is a very pretty way to create gif-like presentations from terminal sess

In case you did not know about this tool: https://asciinema.org/ https://asciinema.org/ is a very pretty way to create gif-like presentations from terminal sessions. No affiliation, I just think it's really neat.