From a401e96e28d751c9f3502c59e68ed60197ca0a7a Mon Sep 17 00:00:00 2001
From: Felix Tenley <dev@felschr.com>
Date: Wed, 23 Sep 2020 09:32:29 +0200
Subject: [PATCH] feat(gnome): update pop-shell

---
 desktop/gnome.nix | 18 +++++++++---------
 1 file changed, 9 insertions(+), 9 deletions(-)

diff --git a/desktop/gnome.nix b/desktop/gnome.nix
index f770e20..802a1f3 100644
--- a/desktop/gnome.nix
+++ b/desktop/gnome.nix
@@ -2,15 +2,15 @@
 
 with pkgs;
 let
-  gnome-shell-extension-pop-shell = stdenv.mkDerivation rec {
-    pname = "gnome-shell-extension-pop-shell";
-    version = "2020-08-14";
+  pop-shell = stdenv.mkDerivation rec {
+    pname = "pop-shell";
+    version = "2020-09-08";
 
     src = fetchFromGitHub {
       owner = "pop-os";
       repo = "shell";
-      rev = "69415ea1fa221a15e8b1c1f9f9ab0b4ba302ee9c";
-      sha256 = "0p0kh1f7achrr51mwmxnnliz82qmfdi37wvc9xhf02w0cx28hlml";
+      rev = "017c92e04f4eefead2561fa35559891eb83388c9";
+      sha256 = "12ch08ny3m2hf6ii2niw0x07pfcknl3r8rixvijaj36wvbgviaxa";
     };
 
     nativeBuildInputs = [ glib ];
@@ -21,13 +21,13 @@ let
   };
 in
 {
-  environment.systemPackages = with pkgs; [
+  environment.systemPackages = with pkgs; with gnomeExtensions; [
     gnome3.dconf-editor
     gnome3.gnome-tweaks
     gnome3.gnome-shell-extensions # required for user-theme
-    gnomeExtensions.dash-to-panel
-    gnomeExtensions.appindicator
-    gnome-shell-extension-pop-shell
+    dash-to-panel
+    appindicator
+    pop-shell
   ];
 
   services.xserver.displayManager.gdm.enable = true;