bash 2 Recording SSH sessions with asciinema May 23, 2023 Bash function to diff files before and after a change May 23, 2023