diffcol.sh: Use /bin/bash explicitly

Recent Ubuntu uses dash (Debian Almquist Shell; a lightweight POSIX- compliant shell derived from ash) as /bin/sh by default. In this case pager=diffcol.sh doesn't work like this:

this is caused by non-bash-compliant /bin/sh.

diffcol.sh is based on Quilt, and Quilt is dependent on bash; Actually all Quilt scripts use /bin/bash without exceptions. Then it's good for diffcol.sh to use /bin/bash.

---
contrib/diffcol.sh | 2 +-

1 files changed, 1 insertions(+), 1 deletions(-)

index ea9109d..eecc87a 100755
@@ -1,4 +1,4 @@
-#!/bin/sh
+#!/bin/bash
 

# Code copied from Quilt (http://savannah.nongnu.org/projects/quilt)
#

Thanks for this, and the other patch you sent. I'll be picking them up this weekend, unless Catalin beats me to it.

Karl Hasselström, [email protected]
      www.treskal.com/kalle

2008/9/3 Karl Hasselström <[email protected]>:

BTW, I think at some point we could change to using Git's native colouring. The diffcol.sh script is from the days when Git didn't have this feature. We currently generate a diff string and pass it through the pager but I'm not sure how to do this.

Catalin