From 9757546bc8e6b0f98a83446be5a58142c14973cd Mon Sep 17 00:00:00 2001
From: Federico Fissore <f.fissore@arduino.cc>
Date: Thu, 26 Mar 2015 17:26:09 +0100
Subject: [PATCH] LibraryManager: replacing spaces with underscores

---
 .../cc/arduino/contributions/libraries/ui/LibraryInstaller.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/app/src/cc/arduino/contributions/libraries/ui/LibraryInstaller.java b/app/src/cc/arduino/contributions/libraries/ui/LibraryInstaller.java
index d00677039..bd966a23d 100644
--- a/app/src/cc/arduino/contributions/libraries/ui/LibraryInstaller.java
+++ b/app/src/cc/arduino/contributions/libraries/ui/LibraryInstaller.java
@@ -134,7 +134,7 @@ public class LibraryInstaller {
     if (replacedLib != null && !replacedLib.isReadOnly()) {
       remove(replacedLib);
     }
-    File destFolder = new File(libsFolder, lib.getName());
+    File destFolder = new File(libsFolder, lib.getName().replaceAll(" ", "_"));
     tmpFolder.renameTo(destFolder);
     progress.stepDone();