From 7b6ffeb12a3a62ad5e511ce72d909dcf2f8acf21 Mon Sep 17 00:00:00 2001
From: Sean Buckley <sean.bck@gmail.com>
Date: Sat, 21 Nov 2020 00:10:11 -0500
Subject: [PATCH] remove pop-shell, upstream PR exists

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

diff --git a/modules/gnome/default.nix b/modules/gnome/default.nix
index 2e84117..6954541 100644
--- a/modules/gnome/default.nix
+++ b/modules/gnome/default.nix
@@ -18,7 +18,6 @@
       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
deleted file mode 100644
index 85b84b1..0000000
--- a/modules/gnome/extensions/pop-shell.nix
+++ /dev/null
@@ -1,21 +0,0 @@
-{ 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 ];
-}