From 056ba5fca001fa8a4bec8430de1e81c76716ba79 Mon Sep 17 00:00:00 2001
From: "David A. Mellis" <d.mellis@arduino.cc>
Date: Sat, 3 Nov 2012 12:37:50 -0400
Subject: [PATCH] Allow spaces in Arduino directory name on linux.

---
 build/linux/dist/arduino | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/build/linux/dist/arduino b/build/linux/dist/arduino
index 1520d2428..b5eb9dbd5 100755
--- a/build/linux/dist/arduino
+++ b/build/linux/dist/arduino
@@ -1,8 +1,8 @@
 #!/bin/sh
  
-APPDIR="$(dirname -- $(readlink -f -- "${0}") )"
+APPDIR="$(dirname -- "$(readlink -f -- "${0}")" )"
 
-cd $APPDIR
+cd "$APPDIR"
  
 for LIB in \
     java/lib/rt.jar \