[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

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



On Sun, Apr 12, 2009 at 09:35:37PM +0200, Marco d'Itri wrote:
> > * Bashisms-free archive
> This is useless. You are basically proposing to remove every usage of
> "local" and a few other directives for no good reason but at a huge cost.

Beside "local" per se, what is exactly the problem? If you badly need
bash-specific features you can use /bin/bash as the interpreter.

-- 
Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7
zack@{upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/
Dietro un grande uomo c'è ..|  .  |. Et ne m'en veux pas si je te tutoie
sempre uno zaino ...........| ..: |.... Je dis tu à tous ceux que j'aime

Attachment: signature.asc
Description: Digital signature


Reply to: