Felipe Contreras wrote: > On Mon, Jan 30, 2012 at 8:25 PM, Jonathan Nieder <jrnieder@xxxxxxxxx> wrote: >> : is a no-op command. It does not redirect stderr automatically or >> do any other magical thing. > > Why don't you go ahead and try it? > > bash -c ': echo "err" > /dev/stderr' : is a no-op command. If you have any questions after reading about it in your manual or online help system of choice, I'll be happy to answer them. [...] > Maybe '[' then. Honestly, I don't care. :) (If I had to choose a convention for scripts specific to ksh-style shells, in order of preference, I would rank them: 1. Always use [[. 2. Use "test", spelled out, like the portable shell code in git does. 3. Use [. If you have arguments for one convention or another that are compelling enough that the codebase won't be flipping back and forth and a patch to go along with them, I imagine no one will mind.) By the way, since I forget to say enough: thanks for taking care about this code. Simpler code is definitely a good thing. Regards, Jonathan -- 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