home

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

default.nix (862B)

      1 { stdenv, fetchFromGitHub, glib, gettext, bash, nodePackages, gnome3, zip }:
      2 
      3 stdenv.mkDerivation rec {
      4   pname = "hidetopbar";
      5   version = "2020-09-21";
      6 
      7   src = fetchFromGitHub {
      8     owner = "mlutfy";
      9     repo = "hidetopbar";
     10     rev = "994937d37528aa25bac954e4f1607adc8d991f4c";
     11     sha256 = "0cc4b3iid0fxrsrdwc9m1rnia7z9whbgdwkag0x1frlif4rknjrr";
     12   };
     13 
     14   nativeBuildInputs = [
     15     glib
     16     gettext
     17     nodePackages.typescript
     18     zip
     19   ];
     20 
     21   uuid = "hidetopbar@mathieu.bidon.ca";
     22 
     23   installPhase = ''
     24     mkdir -p $out/share/gnome-shell/extensions/${uuid}
     25     cp -r * $out/share/gnome-shell/extensions/${uuid}
     26   '';
     27 
     28   meta = with stdenv.lib; {
     29     description = "Hide GNOME's top bar when it gets into your way.";
     30     license = licenses.gpl3;
     31     maintainers = with maintainers; [ vdemeester ];
     32     homepage = "https://github.com/mlutfy/hidetopbar";
     33   };
     34 }