gnomeExtensions.named-workspaces: fix build

Signed-off-by: David Wronek <david.wronek@mainlining.org>
2026-02-22 22:21:45 +01:00
parent 3015f7f855
commit f78d5ba85d
1 changed files with 7 additions and 0 deletions
@@ -243,4 +243,11 @@ lib.trivial.pipe super [
      rm utilities-teatime.svg
    '';
  })
+
+  (patchExtension "named-workspaces@a31.at" {
+    postPatch = ''
+      # remove duplicate schema file
+      rm schemas/org.gnome.shell.extensions.workspace-name.gschema.xml
+    '';
+  })
 ]