fix(app-shell-odd): fix devtools not working on built versions of the…

… ODD
Opentrons · Nov 6, 2024 · c42195b · c42195b
1 parent 3720e99
commit c42195b
Show file tree

Hide file tree

Showing 2 changed files with 8 additions and 2 deletions.
diff --git a/app-shell-odd/src/main.ts b/app-shell-odd/src/main.ts
@@ -197,7 +197,10 @@ function installDevtools(): void {
 
   log.debug('Installing devtools')
 
-  install(extensions, forceReinstall)
+  install(extensions, {
+    loadExtensionOptions: { allowFileAccess: true },
+    forceDownload: forceReinstall,
+  })
     .then(() => log.debug('Devtools extensions installed'))
     .catch((error: unknown) => {
       log.warn('Failed to install devtools extensions', {

diff --git a/app-shell/src/main.ts b/app-shell/src/main.ts
@@ -151,7 +151,10 @@ function installDevtools(): Promise<Logger> {
     })
       .then(() => log.debug('Devtools extensions installed'))
       .catch((error: unknown) => {
-        log.warn('Failed to install devtools extensions', { error })
+        log.warn('Failed to install devtools extensions', {
+          forceReinstall,
+          error,
+        })
       })
   } else {
     log.warn('could not resolve electron dev tools installer')