Re: [PATCH 1/3] git-bisect: war on "sed"

El 15/11/2007, a las 10:29, Miles Bader escribió:

Junio C Hamano [off-list ref] writes:

quoted

We do not need to pipe "echo" to "sed" only to strip refs/heads/
from the beginning.  We are assuming not-so-ancient shells these
days.

What's wrong with sed?

Nothing, but using it means forking a new process unnecessarily, and  
the shorter form without sed is arguably more readable:

-		echo "$head" | sed 's#^refs/heads/##' >"$GIT_DIR/head-name"
+		echo "${head#refs/heads/}" >"$GIT_DIR/head-name"

Cheers,
Wincent