mirror of
https://github.com/foo-dogsquared/nixos-config.git
synced 2025-04-24 18:19:11 +00:00
init: gnome-shell-extension-pop-shell at unstable-2021-11-30
This commit is contained in:
parent
0f6cf8871f
commit
4a29a03143
@ -2,6 +2,7 @@
|
|||||||
|
|
||||||
{
|
{
|
||||||
doggo = pkgs.callPackage ./doggo.nix { };
|
doggo = pkgs.callPackage ./doggo.nix { };
|
||||||
|
gnome-shell-extension-pop-shell = pkgs.callPackage ./gnome-shell-extension-pop-shell.nix { };
|
||||||
libcs50 = pkgs.callPackage ./libcs50.nix { };
|
libcs50 = pkgs.callPackage ./libcs50.nix { };
|
||||||
tic-80 = pkgs.callPackage ./tic-80.nix { };
|
tic-80 = pkgs.callPackage ./tic-80.nix { };
|
||||||
}
|
}
|
||||||
|
36
pkgs/gnome-shell-extension-pop-shell.nix
Normal file
36
pkgs/gnome-shell-extension-pop-shell.nix
Normal file
@ -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";
|
||||||
|
};
|
||||||
|
}
|
Loading…
Reference in New Issue
Block a user