mindboards/ev3dev — pull request #2 by andy-graprof (2013-11-07 12:38:53+00:00)
Title: renaming shell scripts to .sh; removing unnecessary dash hard dependency

having /bin/dash hardcoded in shebang causes execution on systems without dash shell to fail. you don't use dash specific features, so /bin/sh is equally good, and more portable

also, shell scripts *should* probably end on .sh, but that's just my opinion, feel free to not merge that.