From 4a29a0314357c0da2a85c581a8cf12c7619597cf Mon Sep 17 00:00:00 2001 From: Gabriel Arazas Date: Thu, 2 Dec 2021 21:44:07 +0800 Subject: [PATCH] init: gnome-shell-extension-pop-shell at unstable-2021-11-30 --- pkgs/default.nix | 1 + pkgs/gnome-shell-extension-pop-shell.nix | 36 ++++++++++++++++++++++++ 2 files changed, 37 insertions(+) create mode 100644 pkgs/gnome-shell-extension-pop-shell.nix diff --git a/pkgs/default.nix b/pkgs/default.nix index 6c4cf723..d036c7a0 100644 --- a/pkgs/default.nix +++ b/pkgs/default.nix @@ -2,6 +2,7 @@ { doggo = pkgs.callPackage ./doggo.nix { }; + gnome-shell-extension-pop-shell = pkgs.callPackage ./gnome-shell-extension-pop-shell.nix { }; libcs50 = pkgs.callPackage ./libcs50.nix { }; tic-80 = pkgs.callPackage ./tic-80.nix { }; } diff --git a/pkgs/gnome-shell-extension-pop-shell.nix b/pkgs/gnome-shell-extension-pop-shell.nix new file mode 100644 index 00000000..09de2ed6 --- /dev/null +++ b/pkgs/gnome-shell-extension-pop-shell.nix @@ -0,0 +1,36 @@ +{ lib, stdenv, fetchFromGitHub, glib, nodePackages }: + +let + INSTALLBASE = "$out/share/gnome-shell/extensions"; +in +stdenv.mkDerivation rec { + pname = "gnome-shell-extension-pop-shell"; + version = "unstable-2021-11-30"; + + src = fetchFromGitHub { + owner = "pop-os"; + repo = "shell"; + rev = "4b65ee865d01436ec75a239a0586a2fa6051b8c3"; + sha256 = "sha256-DHmp3kzBgbyxRe0TjER/CAqyUmD9LeRqAFQ9apQDzfk="; + }; + + nativeBuildInputs = [ glib nodePackages.typescript ]; + skipConfigure = true; + + # Rather than patching the installation, we can create our own easily. + installPhase = '' + mkdir -p ${INSTALLBASE}/${passthru.extensionUuid} + cp -r _build/* ${INSTALLBASE}/${passthru.extensionUuid}/ + + install -Dm644 keybindings/*.xml -t $out/share/gnome-control-center/keybindings + install -Dm644 _build/schemas/* -t $out/share/glib-2.0/schemas + ''; + + passthru.extensionUuid = "pop-shell@system76.com"; + + meta = with lib; { + description = "A keyboard-driven layer for GNOME shell"; + license = licenses.gpl3; + homepage = "https://github.com/pop-os/shell"; + }; +}