From d6c935bd6cdb711f96bfe7794108e149d546856c Mon Sep 17 00:00:00 2001
From: Haak Saxberg <haak.erling@gmail.com>
Date: Tue, 15 Mar 2022 23:23:57 -0700
Subject: [PATCH] prep for tiling window manager in gnome

---
 nix/home/desktop.nix     |  5 +++++
 nix/overlays/paperwm.nix | 12 ++++++++++++
 2 files changed, 17 insertions(+)
 create mode 100644 nix/overlays/paperwm.nix

diff --git a/nix/home/desktop.nix b/nix/home/desktop.nix
index be66dbb..f479449 100644
--- a/nix/home/desktop.nix
+++ b/nix/home/desktop.nix
@@ -22,12 +22,17 @@ let
   gnomePkgs = with pkgs; [
     gnomecast
     gnome.gnome-tweaks
+    # TODO: enable after experimenting with multi-monitor support and workspaces:
+    #   https://github.com/paperwm/PaperWM#recommended-gnome-shell-settings
+    # gnomeExtensions.paperwm
     gnomeExtensions.worksets
   ];
 in
 {
   imports = [ (import ./commandline.nix) ] ++ [ (import ./programs/rofi) ];
 
+  nixpkgs.overlays = [ (import .././overlays/paperwm.nix) ];
+
   home = {
     packages = defaultPkgs ++ gnomePkgs;
   };
diff --git a/nix/overlays/paperwm.nix b/nix/overlays/paperwm.nix
new file mode 100644
index 0000000..47e5182
--- /dev/null
+++ b/nix/overlays/paperwm.nix
@@ -0,0 +1,12 @@
+# Keep until https://github.com/paperwm/PaperWM/issues/376 is fixed
+self: super: {
+  gnomeExtensions = super.gnomeExtensions // {
+    paperwm = super.gnomeExtensions.paperwm.overrideDerivation (old: {
+      version = "pre-40.0";
+      src = builtins.fetchGit {
+        url = https://github.com/paperwm/paperwm.git;
+        ref = "next-release";
+      };
+    });
+  };
+}