tty-colour-diff

#!/bin/sh

if [ -t 1 ]; then
  # connected to a tty => use glorious technicolour and paging
  # This gawk -f/which combination makes us platform-agnostic by relying on $PATH twice.
  exec gawk -f `which colour-diff-output` | diff-less "$@"
else
  # probably piping to a file, use black and white
  exec cat
fi