From: Junio C Hamano Date: Mon, 14 Nov 2005 20:21:02 GMT Subject: Re: ./configure script prototype Message-ID: <7vr79jx9ox.fsf@assigned-by-dhcp.cox.net> In-Reply-To: <4378DF71.3060103@op5.se> Andreas Ericsson writes: > Linus Torvalds wrote: > >> If you want to do a "configure" script (and I'm not sure it's worth >> it), > > Perhaps not. I was under the impression that Junio was for it to > simplify the possible move of binaries to GIT_EXEC_PATH. I do not see how that is related to it. Offtopic, but if you really want to do ${var##} and friends portably, expr(1) is the tool traditionalists prefer; not echo piped to sed, please.