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.
_______________________________________________
Linux-audio-user mailing list
Linux-audio-user@email-addr-hidden
http://lists.linuxaudio.org/listinfo/linux-audio-user
Received on Fri Oct 24 16:15:02 2014
This archive was generated by hypermail 2.1.8 : Fri Oct 24 2014 - 16:15:02 EEST