mirror of
https://github.com/arduino/Arduino.git
synced 2025-02-20 14:54:31 +01:00
Parse libraries index after updating it (when launche from CLI)
Fix #5424
This commit is contained in:
parent
653a05273d
commit
a8525c6bb0
@ -379,13 +379,15 @@ public class Base {
|
||||
System.exit(0);
|
||||
|
||||
} else if (parser.isInstallLibrary()) {
|
||||
LibrariesIndexer indexer = new LibrariesIndexer(BaseNoGui.getSettingsFolder());
|
||||
ProgressListener progressListener = new ConsoleProgressListener();
|
||||
indexer.parseIndex();
|
||||
BaseNoGui.onBoardOrPortChange();
|
||||
|
||||
ProgressListener progressListener = new ConsoleProgressListener();
|
||||
libraryInstaller.updateIndex(progressListener);
|
||||
|
||||
LibrariesIndexer indexer = new LibrariesIndexer(BaseNoGui.getSettingsFolder());
|
||||
indexer.parseIndex();
|
||||
indexer.setSketchbookLibrariesFolder(BaseNoGui.getSketchbookLibrariesFolder());
|
||||
indexer.setLibrariesFolders(BaseNoGui.getLibrariesPath());
|
||||
libraryInstaller.updateIndex(progressListener);
|
||||
|
||||
for (String library : parser.getLibraryToInstall().split(",")) {
|
||||
String[] libraryToInstallParts = library.split(":");
|
||||
|
Loading…
x
Reference in New Issue
Block a user