From 811324b495d3fee3a8061a2dbc9d12d472535b35 Mon Sep 17 00:00:00 2001
From: Andrew Dupont <github@andrewdupont.net>
Date: Fri, 1 Nov 2024 16:24:58 -0700
Subject: [PATCH] Fix `extraResources` option

---
 script/electron-builder.config.js | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/script/electron-builder.config.js b/script/electron-builder.config.js
index d975b62881..eb2cde7117 100644
--- a/script/electron-builder.config.js
+++ b/script/electron-builder.config.js
@@ -198,7 +198,8 @@ let options = {
       //
       // Below we copy over `ppm` itself, but it might have its name changed in
       // the process depending on the release channel.
-      from: [
+      from: 'ppm',
+      filter: [
         // Everything below `ppm`…
         'ppm/**',
         // …except for files inside the `bin` directory.