diff 1

• Bash function to diff files before and after a change May 23, 2023