From de49dbffbe1d70909a93e52e08e32e7cec90d88b Mon Sep 17 00:00:00 2001
From: Sean Buckley <sean.bck@gmail.com>
Date: Thu, 12 Nov 2020 15:05:05 -0500
Subject: [PATCH] add pop-shell gnome extension

---
 modules/gnome/default.nix              |  1 +
 modules/gnome/extensions/pop-shell.nix | 21 +++++++++++++++++++++
 2 files changed, 22 insertions(+)
 create mode 100644 modules/gnome/extensions/pop-shell.nix

diff --git a/modules/gnome/default.nix b/modules/gnome/default.nix
index 6954541..2e84117 100644
--- a/modules/gnome/default.nix
+++ b/modules/gnome/default.nix
@@ -18,6 +18,7 @@
       dash-to-panel
       drop-down-terminal
       sound-output-device-chooser
+      (callPackage extensions/pop-shell.nix { })
     ]);
   };
 
diff --git a/modules/gnome/extensions/pop-shell.nix b/modules/gnome/extensions/pop-shell.nix
new file mode 100644
index 0000000..85b84b1
--- /dev/null
+++ b/modules/gnome/extensions/pop-shell.nix
@@ -0,0 +1,21 @@
+{ stdenv, fetchFromGitHub, glib, nodePackages }:
+
+stdenv.mkDerivation rec {
+  pname = "pop-shell";
+  version = "1.0.0";
+
+  src = fetchFromGitHub {
+    owner = "pop-os";
+    repo = "shell";
+    rev = version;
+    sha256 = "0nws28w40xpwhgdpcifzys1md4h6a7q5k3wcn2a77z5m26g69zw2";
+  };
+
+  preInstall = ''
+    mkdir $out
+    ln -s $out ./usr
+    export DESTDIR="$(pwd)"
+  '';
+
+  buildInputs = [ glib nodePackages.typescript ];
+}