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@xxxxxxxxxxxxxxxxxxxx http://lists.linuxaudio.org/listinfo/linux-audio-user
