Linux terminal GIF recording with asciinema
asciinema is a good, simple-to-use tool to record a screencast of a terminal session.
And asciicast2gif converts the recording to a GIF animation.
Install asciinema:
virtualenv -p python3 venv source venv/bin/activate pip install asciinema
Record a session:
$ asciinema rec demo.cast asciinema: recording asciicast to demo.cast asciinema: press <ctrl-d> or type "exit" when you're done ... $ <ctrl-d> asciinema: recording finished asciinema: asciicast saved to demo.cast
And convert it to GIF:
docker run --rm -v $PWD:/data asciinema/asciicast2gif -t solarized-dark demo.cast demo.gif
The result looks like this:
And the recording of the recording process :)