pkgs/desktops/gnome/extensions/EasyScreenCast/default.nix

   1 {
   2   lib,
   3   stdenv,
   4   fetchFromGitHub,
   5   substituteAll,
   6   glib,
   7   gnome-shell,
   8   gettext,
   9   jq,
  10   intltool,
  11 }:
  12
  13 stdenv.mkDerivation (finalAttrs: {
  14   pname = "gnome-shell-extension-EasyScreenCast";
  15   version = "1.10.0";
  16
  17   src = fetchFromGitHub {
  18     owner = "EasyScreenCast";
  19     repo = "EasyScreenCast";
  20     rev = finalAttrs.version;
  21     hash = "sha256-5PJB+lm4NKeNpS2vg9xaVl5aUR0Rofmt6sEKXfuGG6c=";
  22   };
  23
  24   patches = [
  25     (substituteAll {
  26       src = ./fix-gi-path.patch;
  27       gnomeShell = gnome-shell;
  28     })
  29   ];
  30
  31   nativeBuildInputs = [
  32     glib
  33     gettext
  34     jq
  35     intltool
  36   ];
  37
  38   makeFlags = [ "INSTALLBASE=$(out)/share/gnome-shell/extensions" ];
  39
  40   passthru.extensionUuid = "EasyScreenCast@iacopodeenosee.gmail.com";
  41
  42   meta = with lib; {
  43     description = "Simplifies the use of the video recording function integrated in gnome shell";
  44     homepage = "https://github.com/EasyScreenCast/EasyScreenCast";
  45     license = licenses.gpl3Plus;
  46     maintainers = with maintainers; [ doronbehar ];
  47     platforms = platforms.linux;
  48   };
  49 })