| |||||||||||||
checkbashismscheckbashismsPosted Dec 22, 2010 12:31 UTC (Wed) by epa (subscriber, #39769)In reply to: checkbashisms by foom Parent article: Introducing the "Debian's Automated Code Analysis" (DACA) project
Or, just as well, declare /bin/sh to be bash and have
a separate /bin/minimal_bare_bones_sh for the tiny number of cases where it is truly needed.
Fifteen years ago bash might have been seen as bloated.
(Log in to post comments)
checkbashisms Posted Dec 25, 2010 5:07 UTC (Sat) by foom (subscriber, #14868) [Link]
POSIX sh is standardized. Regardless of what /bin/sh actually points to, or how bloated bash is or is not, if you write a script that depends on nonstandard extensions in bash, you should put #!/bin/bash at the top.
checkbashisms Posted Dec 31, 2010 11:52 UTC (Fri) by epa (subscriber, #39769) [Link]
A little ironic that you use POSIX standardization as a reason for a particular shebang line, since the #! syntax is not part of POSIX at all.
I think you are probably right though - to keep everybody happy, if you want bash it's best to say what you mean.
|
|||||||||||||