mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-17 11:54:33 +01:00
LibraryManager: replacing spaces with underscores
This commit is contained in:
parent
3bcbf22a2a
commit
9757546bc8
@ -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();
|
||||
|
||||
|
Loading…
x
Reference in New Issue
Block a user