home

commit 0dbbcbaed486fcb16e991352897e244d9caac585
parent bab0fcf1705ea5b9321ddc84371c423d211b5330
Author: Vincent Demeester <vincent@sbr.pm>
Date:   Wed,  1 Jul 2020 18:57:37 +0200

pkgs: add pop-os/shell gnome extension

Signed-off-by: Vincent Demeester <vincent@sbr.pm>

Diffstat:
M
pkgs/default.nix
 | 
2
++
A
pkgs/gnome/extensions/shell/default.nix
 | 
33
+++++++++++++++++++++++++++++++++
M
users/vincent/desktop/gnome.nix
 | 
1
+

3 files changed, 36 insertions(+), 0 deletions(-)
diff --git a/pkgs/default.nix b/pkgs/default.nix
@@ -108,4 +108,6 @@ rec {
     containerd_1_4
     ;
   containerd = containerd_1_3;
+
+  gnome-shell-extension-shell = pkgs.callPackage ./gnome/extensions/shell { };
 }
diff --git a/pkgs/gnome/extensions/shell/default.nix b/pkgs/gnome/extensions/shell/default.nix
@@ -0,0 +1,33 @@
+{ stdenv, fetchFromGitHub, glib, gettext, bash, nodePackages, gnome3 }:
+
+stdenv.mkDerivation rec {
+  pname = "gnome-shell-extension-shell-unstable";
+  version = "2020-03-13";
+
+  src = fetchFromGitHub {
+    owner = "pop-os";
+    repo = "shell";
+    rev = "9e8ab29cb976b078aa6e8fab59b09527a092a1b8";
+    sha256 = "1za5jj95p095z4ffjli0ir3prd8fiv2bdjgjmb7h6wnni65cwfa3";
+  };
+
+  nativeBuildInputs = [
+    glib
+    gettext
+    nodePackages.typescript
+  ];
+
+  uuid = "pop-shell@system76.com";
+
+  installPhase = ''
+    mkdir -p $out/share/gnome-shell/extensions
+    cp -r _build $out/share/gnome-shell/extensions/${uuid}
+  '';
+
+  meta = with stdenv.lib; {
+    description = "Pop Shell is a keyboard-driven layer for GNOME Shell which allows for quick and sensible navigation and management of windows.";
+    license = licenses.gpl3;
+    maintainers = with maintainers; [ vdemeester ];
+    homepage = "https://github.com/pop-os/shell";
+  };
+}
diff --git a/users/vincent/desktop/gnome.nix b/users/vincent/desktop/gnome.nix
@@ -28,6 +28,7 @@
 
     gnomeExtensions.sound-output-device-chooser
     gnomeExtensions.paperwm
+    my.gnome-shell-extension-shell
     gnome3.gnome-shell-extensions
 
     pop-gtk-theme