tjh.dev
1{
2 lib,
3 stdenv,
4 fetchFromGitHub,
5 gnome-shell,
6}:
7
8stdenv.mkDerivation {
9 pname = "gnome-shell-extension-window-corner-preview";
10 version = "unstable-2019-04-03";
11
12 src = fetchFromGitHub {
13 owner = "medenagan";
14 repo = "window-corner-preview";
15 rev = "a95bb1389d94474efab7509aac592fb58fff6006";
16 sha256 = "03v18j9l0fb64xrg3swf1vcgl0kpgwjlp8ddn068bpvghrsvgfah";
17 };
18
19 dontBuild = true;
20
21 passthru = {
22 extensionUuid = "window-corner-preview@fabiomereu.it";
23 extensionPortalSlug = "window-corner-preview";
24 };
25
26 installPhase = ''
27 runHook preInstall
28 mkdir -p $out/share/gnome-shell/extensions
29 cp -r "window-corner-preview@fabiomereu.it" $out/share/gnome-shell/extensions
30 runHook postInstall
31 '';
32
33 meta = with lib; {
34 description = "GNOME Shell extension showing a video preview on the corner of the screen";
35 license = licenses.mit;
36 maintainers = [ ];
37 homepage = "https://github.com/medenagan/window-corner-preview";
38 broken = lib.versionAtLeast gnome-shell.version "3.32"; # Doesn't support 3.34
39 };
40}