Re: Shell script cleanups/style changes?

Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]
From: Robert Schiele
Date: Thursday, August 2, 2007 - 4:45 pm

On Fri, Aug 03, 2007 at 01:32:07AM +0200, David Kastrup wrote:

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.

Robert

--=20
Robert Schiele
Dipl.-Wirtsch.informatiker	mailto:rschiele@gmail.com

"Quidquid latine dictum sit, altum sonatur."
Previous message: [thread] [date] [author]
Next message: [thread] [date] [author]

Messages in current thread:
Shell script cleanups/style changes?, David Kastrup, (Thu Aug 2, 3:44 am)
Re: Shell script cleanups/style changes?, Robert Schiele, (Thu Aug 2, 7:00 am)
Re: Shell script cleanups/style changes?, Bradford Smith, (Thu Aug 2, 7:48 am)
Re: Shell script cleanups/style changes?, Sam Ravnborg, (Thu Aug 2, 11:13 am)
Re: Shell script cleanups/style changes?, Junio C Hamano, (Thu Aug 2, 1:37 pm)
Re: Shell script cleanups/style changes?, Nguyen Thai Ngoc Duy, (Thu Aug 2, 1:56 pm)
Re: Shell script cleanups/style changes?, David Kastrup, (Thu Aug 2, 1:57 pm)
Re: Shell script cleanups/style changes?, David Kastrup, (Thu Aug 2, 2:02 pm)
Re: Shell script cleanups/style changes?, Junio C Hamano, (Thu Aug 2, 2:12 pm)
Re: Shell script cleanups/style changes?, Junio C Hamano, (Thu Aug 2, 2:21 pm)
Re: Shell script cleanups/style changes?, Junio C Hamano, (Thu Aug 2, 2:29 pm)
Re: Shell script cleanups/style changes?, Robert Schiele, (Thu Aug 2, 2:41 pm)
Re: Shell script cleanups/style changes?, David Kastrup, (Thu Aug 2, 2:42 pm)
Re: Shell script cleanups/style changes?, David Kastrup, (Thu Aug 2, 3:02 pm)
Re: Shell script cleanups/style changes?, David Kastrup, (Thu Aug 2, 3:14 pm)
Re: Shell script cleanups/style changes?, Junio C Hamano, (Thu Aug 2, 4:05 pm)
Re: Shell script cleanups/style changes?, David Kastrup, (Thu Aug 2, 4:17 pm)
Re: Shell script cleanups/style changes?, Robert Schiele, (Thu Aug 2, 4:21 pm)
Re: Shell script cleanups/style changes?, Robert Schiele, (Thu Aug 2, 4:27 pm)
Re: Shell script cleanups/style changes?, David Kastrup, (Thu Aug 2, 4:32 pm)
Re: Shell script cleanups/style changes?, Robert Schiele, (Thu Aug 2, 4:45 pm)
Re: Shell script cleanups/style changes?, David Kastrup, (Thu Aug 2, 4:52 pm)
Re: Shell script cleanups/style changes?, Robert Schiele, (Thu Aug 2, 5:01 pm)
Re: Shell script cleanups/style changes?, David Kastrup, (Thu Aug 2, 5:11 pm)
Re: Shell script cleanups/style changes?, Junio C Hamano, (Thu Aug 2, 5:12 pm)
Re: Shell script cleanups/style changes?, David Kastrup, (Thu Aug 2, 5:24 pm)
Re: Shell script cleanups/style changes?, Junio C Hamano, (Thu Aug 2, 5:48 pm)
Re: Shell script cleanups/style changes?, Robert Schiele, (Thu Aug 2, 7:28 pm)
Re: Shell script cleanups/style changes?, David Kastrup, (Thu Aug 2, 11:06 pm)
Re: Shell script cleanups/style changes?, David Kastrup, (Thu Aug 2, 11:08 pm)
Re: Shell script cleanups/style changes?, David Kastrup, (Thu Aug 2, 11:13 pm)
Re: Shell script cleanups/style changes?, Junio C Hamano, (Fri Aug 3, 12:11 am)
Re: Shell script cleanups/style changes?, Florian Weimer, (Sat Aug 4, 12:10 am)
Re: Shell script cleanups/style changes?, Robert Schiele, (Sat Aug 4, 1:32 pm)
Re: Shell script cleanups/style changes?, Junio C Hamano, (Sat Aug 4, 1:39 pm)