Re: dash as default /bin/sh and bashisms-free archive RGs

2009-04-16 Thread Manoj Srivastava
On Thu, Apr 16 2009, Josselin Mouette wrote: > Le mercredi 15 avril 2009 à 23:05 -0500, Manoj Srivastava a écrit : >> So, no, policy does not just document current practice. Policy >> tries to document what is right. > > I think it should be both. When we do things right, they should be >

Re: dash as default /bin/sh and bashisms-free archive RGs

2009-04-16 Thread Josselin Mouette
Le mercredi 15 avril 2009 à 23:05 -0500, Manoj Srivastava a écrit : > So, no, policy does not just document current practice. Policy > tries to document what is right. I think it should be both. When we do things right, they should be specified in the Policy, and there’s no point specifyi

Re: dash as default /bin/sh and bashisms-free archive RGs

2009-04-15 Thread Manoj Srivastava
On Wed, Apr 15 2009, Josselin Mouette wrote: > Policy documents practice. I wish people would not say that. It is not true; and hasn't been. And, moreover, we would not _want_ that to be true; there should be no excuse to justify wanting to enshrine broken or bad practices into policy.