Merge pull request #123096 from mschuwalow/update-clipboard-indicator

gnomeExtensions.clipboard-indicator: 37 -> 38
This commit is contained in:
Jan Tojnar 2021-05-18 13:23:27 +02:00 committed by GitHub
commit c6812829db
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

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";