On Sonntag, 10. Mai 2009, Junio C Hamano wrote:
> b="$(cut -c1-7 "$g/HEAD" 2>/dev/null)..." ||
While you are here, you could turn this line into
{ b=$(< "$g/HEAD") && b=${b:0:7}...; } 2>/dev/null ||
to save a process. $(< foo) is a bash feature and does the same as $(cat foo),
but faster.
-- Hannes
--
To unsubscribe from this list: send the line "unsubscribe git" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html