24 Oct
2014
24 Oct
'14
3:06 p.m.
If somebody wants to use dash instead of bash for scripts that use
#!/usr/bin/sh, IOW the link /bin/sh, there's a script that checks for
bashisms.
"checkbashisms: check whether a /bin/sh script contains any common
bash-specific contructs" - https://packages.debian.org/wheezy/devscripts
https://aur.archlinux.org/packages/checkbashisms/
It's debatable if the script does a good job.