arduino
diff --git a/‎arduino-ide-extension/src/browser/contributions/init-libs-platforms.ts
Copy file name to clipboardExpand all lines: arduino-ide-extension/src/browser/contributions/init-libs-platforms.ts
+13-9Lines changed: 13 additions & 9 deletions b/‎arduino-ide-extension/src/browser/contributions/init-libs-platforms.ts
Copy file name to clipboardExpand all lines: arduino-ide-extension/src/browser/contributions/init-libs-platforms.ts
+13-9Lines changed: 13 additions & 9 deletions
@@ -31,17 +31,21 @@ export class InitLibsPlatforms extends Contribution {
       )[0];
 
       if (avrPackage) {
-        await this.boardsService.install({
-          item: avrPackage,
-          noOverwrite: true, // We don't want to automatically replace custom platforms the user might already have in place
-        });
+        try {
+          await this.boardsService.install({
+            item: avrPackage,
+            noOverwrite: true, // We don't want to automatically replace custom platforms the user might already have in place
+          });
+        } catch {} // If this fails, we still want to install the libraries
       }
       if (builtInLibrary) {
-        await this.libraryService.install({
-          item: builtInLibrary,
-          installDependencies: true,
-          noOverwrite: true, // We don't want to automatically replace custom libraries the user might already have in place
-        });
+        try {
+          await this.libraryService.install({
+            item: builtInLibrary,
+            installDependencies: true,
+            noOverwrite: true, // We don't want to automatically replace custom libraries the user might already have in place
+          });
+        } catch {}
       }
     }
   }