fix: resolve path when filtering for copy

Author: Akos Kitta

Diff for: arduino-ide-extension/src/node/sketches-service-impl.ts

@@ -561,18 +561,28 @@ export class SketchesServiceImpl
 
     let filter: CopyOptions['filter'];
     if (onlySketchFiles) {
-      const sketchFilePaths = Sketch.uris(sketch).map(FileUri.fsPath);
+      // The Windows paths, can be a trash (see below). Hence, it must be resolved with Node.js.
+      // After resolving the path, the drive letter is still a gamble (can be upper or lower case) and could result in a false negative match.
+      // Here, all sketch file paths must be resolved by Node.js, to provide the same drive letter casing.
+      const sketchFilePaths = await Promise.all(
+        Sketch.uris(sketch)
+          .map(FileUri.fsPath)
+          .map((path) => fs.realpath(path))
+      );
       filter = async (s) => {
-        if (sketchFilePaths.includes(s)) {
+        // On Windows, the source path could start with a complete trash. For example, \\\\?\\c:\\Users\\kittaakos\\AppData\\Local\\Temp\\.arduinoIDE-unsaved20231024-9300-1hp64fi.g8yh\\sketch_nov24d.
+        // The path must be resolved.
+        const resolvedSource = await fs.realpath(s);
+        if (sketchFilePaths.includes(resolvedSource)) {
           return true;
         }
-        const stat = await fs.stat(s);
+        const stat = await fs.stat(resolvedSource);
         if (stat.isFile()) {
           return false;
         }
         // Copy the folder if any of the sketch file path starts with this folder
         return sketchFilePaths.some((sketchFilePath) =>
-          sketchFilePath.startsWith(s)
+          sketchFilePath.startsWith(resolvedSource)
         );
       };
     } else {

Diff for: arduino-ide-extension/src/test/node/sketches-service-impl.slow-test.ts

@@ -405,7 +405,7 @@ describe('sketches-service-impl', () => {
       expect(sketch.otherSketchFileUris).to.be.empty;
       expect(sketch.rootFolderFileUris).to.be.empty;
 
-      const destinationUri = FileUri.fsPath(destinationPath).toString();
+      const destinationUri = FileUri.create(destinationPath).toString();
       const copySketch = await sketchesService.copy(sketch, { destinationUri });
       toDispose.push(disposeSketch(copySketch));
       expect(copySketch.mainFileUri).to.be.equal(