Ask HN: What is the best way to record a terminal session?

You could try using asciinema[1].

[1] - https://github.com/asciinema/asciinema

I'm not sure if it affects your specific situation, but I'll share that mistakes in CLI demos have never bothered me. They always make me feel better about the everyday typos I make, and they make me feel like I'm watching a human interact with a system. I wouldn't want to watch a distracting number of typos when I'm learning how to use a system, but a few are perfectly acceptable.

It reminds me of listening to podcasts. The podcasts with huge budgets are sometimes overproduced. The pauses all feel dramatic and acted, and everything feels well-rehearsed. My favorite podcasts are ones that have received light editing for content, but leave in the natural flow of human conversation.

the commands: script / scriptreplay are the ones you are looking for.

Now if you also would like to reproduce the video experience you coul use: https://asciinema.org/

Wich records a your terminal session, looks like a video but is in fact text characters.

Approaching from another angle: develop/debug a simple script containing your setup commands, possibly using Vagrant (or similar) in your cycle to test.

Then later you can make a video, perhaps using the software you've already tried (or recommended in other replies), by pasting the commands one by one from the script into the terminal.

Simple Screen Recorder is pretty good.