maybe

Signed-off-by: Jens Reinecke <[email protected]>

Author: jreineckearm

scripts/download-tools.ts

@@ -270,13 +270,14 @@ async function downloadGDB(target: VsceTarget, dest: string, options?: ToolOptio
     const fileType  = await fileTypeFromFile(downloadFilePath);
     console.debug(`File type: MIME-type ${fileType?.mime}, Extension ${fileType?.ext} ...`);
 
-    if (fileType?.mime === 'application/zip' || fileType?.ext === 'zip') {
+    //if (fileType?.mime === 'application/zip' || fileType?.ext === 'zip') {
         console.debug(`extractZip: dir ${destPath} ...`);
         await extractZip(downloadFilePath, { dir: destPath, onEntry(entry, _zipfile) {
             console.debug(`\tentry ${entry.fileName} ...`);
         }, }).catch(error => {
             throw new Error(`Failed to extract ${url}`, { cause: error });
         });
+        /*
     } else {
         console.debug(`fastExtract: downld ${downloadFilePath}, dest ${destPath} ...`);
         await fastExtract(downloadFilePathBase, destPath, { strip: 1, type: fileType?.ext },
@@ -285,6 +286,7 @@ async function downloadGDB(target: VsceTarget, dest: string, options?: ToolOptio
             throw new Error(`Failed to extract ${downloadFilePath}`, { cause: error });
         });
     }
+        */
 
 
     // Remove doc directory as it contains duplicate files (names differ only in case)