El 15/11/2007, a las 10:29, Miles Bader escribió:
Junio C Hamano <gitster@xxxxxxxxx> writes:
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
-
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
