From: Johannes Schindelin Date: Mon, 23 Jul 2007 20:51:16 GMT Subject: Re: [PATCH] Fix problematic ']' Message-ID: In-Reply-To: <200707232236.21389.johannes.sixt@telecom.at> Hi, On Mon, 23 Jul 2007, Johannes Sixt wrote: > Not all shells grok a closing ']' of the shell '[' command without > surrounding space. Darn. Thanks for cleaning up behind me, Dscho