update extensions for gnome 47

provision/overlays/default.nix

@@ -1,7 +1,7 @@
 final: prev: {
   advcpmv = final.callPackage ../pkgs/advcpmv.nix {};
   ftw = final.callPackage ../pkgs/ftw.nix {};
-  gnome-fullscreen-to-empty-workspace = final.callPackage ../pkgs/gnome-fullscreen-to-empty-workspace.nix {};
+  gnome-fullscreen-to-empty-workspace = final.callPackage ../pkgs/gnome-fullscreen-to-empty-workspace/default.nix {};
   gnome-set-panel-monitor = final.callPackage ../pkgs/gnome-set-panel-monitor.nix {};
   nx_tzdb = final.callPackage ../pkgs/nx_tzdb.nix {};
   pySVS = final.callPackage ../pkgs/pySVS.nix {};

provision/overlays/focus-changer.nix

@@ -1,12 +0,0 @@
-self: super: {
-  gnomeExtensions = super.gnomeExtensions // {
-    focus-changer = super.gnomeExtensions.focus-changer.overrideAttrs (old: { 
-      src = super.fetchFromGitHub { 
-        owner = "martinhjartmyr"; 
-        repo = "gnome-shell-extension-focus-changer"; 
-        rev = "4de5bc334a1624fd8eb22203ab229a6045320923"; 
-        sha256 = "sha256-hvLDsLQl7+Flrlg26HNIuwLnWqpB09ZO1xNHRms22g0=";
-      }; 
-    }); 
-  };
-}

provision/pkgs/gnome-fullscreen-to-empty-workspace/default.nix

@@ -11,6 +11,10 @@ stdenv.mkDerivation {
     hash = "sha256-S9mvODQqOBCmA+L1TBJm/c1v5Y+qVKuFpQf799LEwcI=";
   };
 
+  patches = [
+    ./version.patch
+  ];
+
   installPhase = ''
     runHook preInstall
     mkdir -p "$out/share/gnome-shell/extensions/fullscreen-to-empty-workspace@aiono.dev"

provision/pkgs/gnome-fullscreen-to-empty-workspace/version.patch

@@ -0,0 +1,17 @@
+diff --git a/src/metadata.json b/src/metadata.json
+index 66a2ea3..a98e00c 100644
+--- a/src/metadata.json
++++ b/src/metadata.json
+@@ -4,8 +4,9 @@
+   "url": "https://github.com/onsah/fullscreen-to-new-workspace",
+   "uuid": "fullscreen-to-empty-workspace@aiono.dev",
+   "shell-version": [
+-    "46"
++    "47"
+   ],
+   "version": 15,
+   "settings-schema": "org.gnome.shell.extensions.fullscreen-to-empty-workspace"
+-}
+\ No newline at end of file
++}
++

provision/pkgs/gnome-set-panel-monitor.nix

@@ -7,8 +7,8 @@ stdenv.mkDerivation {
   src = fetchFromGitHub {
     owner = "starr-dusT";
     repo = "gnome-set-panel-monitor";
-    rev = "62d1a7e7ed83d56b33e32f1ad948c99a559b6dbd";
+    rev = "89204ab29a4872c201f8185cee758384be073a73";
-    hash = "sha256-NB/DycA/VxIeFQk2l0MW7G5VVdJI/Zemy2l28VZx2Cc=";
+    hash = "sha256-MJVUjvrEe5b38MkRPt96NOH3cz1FzjoQWTPNtRFRVck=";
   };
 
   installPhase = ''