2021-01-11 07:54:33 +00:00
|
|
|
{ lib, stdenv, fetchFromGitHub, gnome3 }:
|
2019-03-03 23:21:53 +00:00
|
|
|
|
|
|
|
|
stdenv.mkDerivation rec {
|
|
|
|
|
pname = "gnome-shell-extension-window-corner-preview";
|
2019-04-17 20:01:40 +01:00
|
|
|
version = "unstable-2019-04-03";
|
2019-03-03 23:21:53 +00:00
|
|
|
|
|
|
|
|
src = fetchFromGitHub {
|
|
|
|
|
owner = "medenagan";
|
|
|
|
|
repo = "window-corner-preview";
|
2019-04-17 20:01:40 +01:00
|
|
|
rev = "a95bb1389d94474efab7509aac592fb58fff6006";
|
|
|
|
|
sha256 = "03v18j9l0fb64xrg3swf1vcgl0kpgwjlp8ddn068bpvghrsvgfah";
|
2019-03-03 23:21:53 +00:00
|
|
|
};
|
|
|
|
|
|
|
|
|
|
dontBuild = true;
|
|
|
|
|
|
|
|
|
|
uuid = "window-corner-preview@fabiomereu.it";
|
|
|
|
|
installPhase = ''
|
2020-07-18 12:06:33 +01:00
|
|
|
runHook preInstall
|
2019-03-03 23:21:53 +00:00
|
|
|
mkdir -p $out/share/gnome-shell/extensions
|
|
|
|
|
cp -r ${uuid} $out/share/gnome-shell/extensions
|
2020-07-18 12:06:33 +01:00
|
|
|
runHook postInstall
|
2019-03-03 23:21:53 +00:00
|
|
|
'';
|
|
|
|
|
|
2021-01-11 07:54:33 +00:00
|
|
|
meta = with lib; {
|
2019-03-03 23:21:53 +00:00
|
|
|
description = "GNOME Shell extension showing a video preview on the corner of the screen";
|
|
|
|
|
license = licenses.mit;
|
|
|
|
|
maintainers = with maintainers; [ jtojnar ];
|
2020-04-01 02:11:51 +01:00
|
|
|
homepage = "https://github.com/medenagan/window-corner-preview";
|
2021-01-15 13:21:58 +00:00
|
|
|
broken = lib.versionAtLeast gnome3.gnome-shell.version "3.32"; # Doesn't support 3.34
|
2019-03-03 23:21:53 +00:00
|
|
|
};
|
|
|
|
|
}
|
