From 6974978ea39d07ce939c824afc6289bd65347097 Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Fri, 29 May 2015 15:33:47 +0200
Subject: [PATCH] Linux: arduino startup script uses #!/usr/bin/env bash. Fixes
 #3003

---
 build/linux/dist/arduino | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build/linux/dist/arduino b/build/linux/dist/arduino
index 94cf80db0..0ff20af63 100755
--- 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}")" )"