#!/bin/bash # used with a pre-commit hook that executes this script and then runs: # git add .times whenwasit --ignore .times-ignore . > .times