fix: ignore arduino.cloud.push.warn when creating a cloud copy

Signed-off-by: Akos Kitta <[email protected]>
arduino · Mar 10, 2023 · f507341 · f507341
1 parent e91ba86
commit f507341
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 3 deletions.
diff --git a/arduino-ide-extension/src/browser/contributions/create-cloud-copy.ts b/arduino-ide-extension/src/browser/contributions/create-cloud-copy.ts
@@ -95,7 +95,7 @@ export class CreateCloudCopy extends CloudSketchContribution {
       );
 
       progress.report({ message: pushingSketch(newSketch.name) });
-      await treeModel.sketchbookTree().push(newNode, true);
+      await treeModel.sketchbookTree().push(newNode, true, true);
     };
     return this.commandService.executeCommand(
       NewCloudSketch.Commands.NEW_CLOUD_SKETCH.id,

diff --git a/arduino-ide-extension/src/browser/widgets/cloud-sketchbook/cloud-sketchbook-tree.ts b/arduino-ide-extension/src/browser/widgets/cloud-sketchbook/cloud-sketchbook-tree.ts
@@ -174,7 +174,8 @@ export class CloudSketchbookTree extends SketchbookTree {
 
   async push(
     node: CloudSketchbookTree.CloudSketchDirNode,
-    noProgress = false
+    noProgress = false,
+    ignorePushWarnings = false
   ): Promise<void> {
     if (!CloudSketchbookTree.CloudSketchTreeNode.isSynced(node)) {
       throw new Error(
@@ -190,7 +191,8 @@ export class CloudSketchbookTree extends SketchbookTree {
       return;
     }
 
-    const warn = this.arduinoPreferences['arduino.cloud.push.warn'];
+    const warn =
+      !ignorePushWarnings && this.arduinoPreferences['arduino.cloud.push.warn'];
 
     if (warn) {
       const ok = await new DoNotAskAgainConfirmDialog({