Re: [PATCH] #!/bin/sh --> #!/usr/bin/env bash

From: H. Peter Anvin <hpa@zytor.com>
Date: Apr 22, 2005, 07:37 UTC
Message-ID: <4268A9C5.5090102@zytor.com>
In-Reply-To: <20050421194255.GA8479@alc.bsd.st>

Alecs King wrote:

Show 7 quoted lines

> 
> And as for bash, only gitdiff-do and gitlog.sh 'explicitly' use bash
> instead of /bin/sh.  On most Linux distros, /bin/sh is just a symbolic
> link to bash.  But not on some others.  I found gitlsobj.sh could not
> work using a plain /bin/sh on fbsd.  To make life easier, i think it
> might be better if we all explicitly use bash for all shell scripts.
>

How about #!/bin/bash (build from .in files if you feel it necessary to support systems which don't have bash in /bin) instead of doubling the number of execs?

	-hpa