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