gnomeExtensions.clipboard-indicator: 37 -> 38

This commit is contained in:
Maxim Schuwalow 2021-05-16 00:43:18 +02:00
parent 838e396944
commit 3210c41ee3
No known key found for this signature in database
GPG Key ID: 0A7E4E2D8968736B
1 changed files with 11 additions and 9 deletions

View File

@ -1,24 +1,26 @@
{ lib, stdenv, fetchFromGitHub }: { lib, stdenv, fetchFromGitHub, gettext, glib }:
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "gnome-shell-extension-clipboard-indicator"; pname = "gnome-shell-extension-clipboard-indicator";
version = "37"; version = "38";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "Tudmotu"; owner = "Tudmotu";
repo = "gnome-shell-extension-clipboard-indicator"; repo = "gnome-shell-extension-clipboard-indicator";
rev = "v${version}"; rev = "v${version}";
sha256 = "0npxhaam2ra2b9zh2gk2q0n5snlhx6glz86m3jf8hz037w920k41"; sha256 = "FNrh3b6la2BuWCsriYP5gG0/KNbkFPuq/YTXTj0aJAI=";
}; };
uuid = "clipboard-indicator@tudmotu.com"; uuid = "clipboard-indicator@tudmotu.com";
installPhase = '' nativeBuildInputs = [
runHook preInstall gettext
mkdir -p $out/share/gnome-shell/extensions/${uuid} glib
cp -r * $out/share/gnome-shell/extensions/${uuid} ];
runHook postInstall
''; makeFlags = [
"INSTALLPATH=${placeholder "out"}/share/gnome-shell/extensions/${uuid}/"
];
meta = with lib; { meta = with lib; {
description = "Adds a clipboard indicator to the top panel and saves clipboard history"; description = "Adds a clipboard indicator to the top panel and saves clipboard history";