From: David Kastrup Date: Thu, 02 Aug 2007 23:52:32 GMT Subject: Re: Shell script cleanups/style changes? Message-ID: <85d4y5xznj.fsf@lola.goethe.zz> In-Reply-To: <20070802234515.GW29424@schiele.dyndns.org> Robert Schiele writes: > On Fri, Aug 03, 2007 at 01:32:07AM +0200, David Kastrup wrote: >> Robert Schiele writes: >> > Well, I have now a patch ready for submission that would replace all >> > occurences of ${PARAMETER#WORD}, ${PARAMETER%WORD}, and $(( >> > EXPRESSION )). But if you say that you won't accept replacement of >> > $( ... ) then this is not worth the effort since this one isn't >> > accepted as well. >> >> I absolutely can't understand your claim that most things work for >> you, then. Are you _really_, _really_ sure you are talking about >> /bin/sh here? > > I started wondering myself and it turned out that we just didn't > look in the right place. Actually we _have_ an infrastructure in > place to replace the shell. (SHELL_PATH in the Makefile) In that > case I would not consider this an issue and you might go on with the > cleanup from my point of view. I was starting to doubt my sanity here. Sorry that this thread resulted in wasted work for you. -- David Kastrup, Kriemhildstr. 15, 44793 Bochum