home

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README | LICENSE

default.nix (935B)

      1 { stdenv, fetchFromGitHub, glib, gettext, bash, nodePackages, gnome3 }:
      2 
      3 stdenv.mkDerivation rec {
      4   pname = "gnome-shell-extension-shell-unstable";
      5   version = "2020-03-13";
      6 
      7   src = fetchFromGitHub {
      8     owner = "pop-os";
      9     repo = "shell";
     10     rev = "9e8ab29cb976b078aa6e8fab59b09527a092a1b8";
     11     sha256 = "1za5jj95p095z4ffjli0ir3prd8fiv2bdjgjmb7h6wnni65cwfa3";
     12   };
     13 
     14   nativeBuildInputs = [
     15     glib
     16     gettext
     17     nodePackages.typescript
     18   ];
     19 
     20   uuid = "pop-shell@system76.com";
     21 
     22   installPhase = ''
     23     mkdir -p $out/share/gnome-shell/extensions
     24     cp -r _build $out/share/gnome-shell/extensions/${uuid}
     25   '';
     26 
     27   meta = with stdenv.lib; {
     28     description = "Pop Shell is a keyboard-driven layer for GNOME Shell which allows for quick and sensible navigation and management of windows.";
     29     license = licenses.gpl3;
     30     maintainers = with maintainers; [ vdemeester ];
     31     homepage = "https://github.com/pop-os/shell";
     32   };
     33 }