1
0
mirror of https://github.com/esp8266/Arduino.git synced 2025-06-16 11:21:18 +03:00

Merge pull request #2947 from Lauszus/MultipleLibraries

Allow library manager to install multiple libraries at once.
This commit is contained in:
Federico Fissore
2015-04-09 15:16:47 +02:00

View File

@ -368,7 +368,8 @@ public class Base {
indexer.setLibrariesFolders(BaseNoGui.getLibrariesPath());
installer.updateIndex();
String[] libraryToInstallParts = parser.getLibraryToInstall().split(":");
for (String library : parser.getLibraryToInstall().split(",")) {
String[] libraryToInstallParts = library.split(":");
ContributedLibrary selected=null;
if (libraryToInstallParts.length == 2) {
@ -391,6 +392,7 @@ public class Base {
} else {
installer.install(selected, installed);
}
}
System.exit(0);