Linux: arduino startup script uses #!/usr/bin/env bash. Fixes #3003

Federico Fissore · Federico Fissore · commit 6974978ea39d · 2015-05-29T15:35:10.000+02:00
diff --git a/build/linux/dist/arduino b/build/linux/dist/arduino
@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 CURDIR=`pwd`
 APPDIR="$(dirname -- "$(readlink -f -- "${0}")" )"
