fix: manageExtensions provider correctly parses extension name on W…

…indows
paranext · Aug 5, 2024 · c7bc031 · c7bc031
1 parent cf193b2
commit c7bc031
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/src/extension-host/services/extension.service.ts b/src/extension-host/services/extension.service.ts
@@ -611,7 +611,8 @@ function getExtensionUri(baseUri: string, extensionName: string, extensionVersio
  */
 function extractExtensionDetailsFromFileNames(fileUris: string[]): ExtensionIdentifier[] {
   return fileUris.map((fileUri: string) => {
-    const fileName = fileUri.split('/').pop();
+    // Splits by either a forward-slash or back-slash to support Windows as well
+    const fileName = fileUri.split(/\\|\//).pop();
     if (!fileName?.endsWith('.zip')) throw new Error(`Not a ZIP file: ${fileName}`);
     const lastDashIndex = fileName.lastIndexOf('_');
     const extensionName = fileName.substring(0, lastDashIndex);