Re: [PATCH 7/8] oe-git-proxy.sh: Add a new comprehensive git proxy script

Enrico Scholz
2013-02-05T19:24:47Z

Otavio Salvador <otavio@ossystems.com.br> writes:

> Please give it a try in dash as well.

fwiw, what's the point in writing such scripts plain sh? I guess. every
machine where this script is running has /bin/bash and performance is
not critical for it. Using '#! /bin/bash' shebang fixes the problem
where sh is non bash.

Some constructs in the scripts can be expressed mor efficiently in bash
(e.g. the '... | sed' statements, or using arrays for the arguments).

Enrico