Rich Wareham's bash configuration