Non portable shebang for bash

[GoogleCodeExporter]

#!/bin/bash is very bad idea.
In essence some platforms (like BSD or Solaris don't have bash in that place so 
this will cause issues. You instead should use
#!/usr/bin/env bash

Also Ubuntu has started a trend of avoiding bash since the standard shell 
(dash) is faster so it's better to use the more portable /bin/sh when possible. 
See:
https://wiki.ubuntu.com/DashAsBinSh

Original issue reported on code.google.com by pfgiffu...@unal.edu.co on 19 Apr 2015 at 9:14

[GoogleCodeExporter]

Original comment by pfgiffu...@unal.edu.co on 19 Apr 2015 at 9:28

Attachments:

• arduino-nobash.diff