From 3210c41ee3efd0b2867b7d424220ef4e652754d3 Mon Sep 17 00:00:00 2001 From: Maxim Schuwalow Date: Sun, 16 May 2021 00:43:18 +0200 Subject: [PATCH] gnomeExtensions.clipboard-indicator: 37 -> 38 --- .../clipboard-indicator/default.nix | 20 ++++++++++--------- 1 file changed, 11 insertions(+), 9 deletions(-) diff --git a/pkgs/desktops/gnome/extensions/clipboard-indicator/default.nix b/pkgs/desktops/gnome/extensions/clipboard-indicator/default.nix index ee64fc5113d0..efdcab6a4634 100644 --- a/pkgs/desktops/gnome/extensions/clipboard-indicator/default.nix +++ b/pkgs/desktops/gnome/extensions/clipboard-indicator/default.nix @@ -1,24 +1,26 @@ -{ lib, stdenv, fetchFromGitHub }: +{ lib, stdenv, fetchFromGitHub, gettext, glib }: stdenv.mkDerivation rec { pname = "gnome-shell-extension-clipboard-indicator"; - version = "37"; + version = "38"; src = fetchFromGitHub { owner = "Tudmotu"; repo = "gnome-shell-extension-clipboard-indicator"; rev = "v${version}"; - sha256 = "0npxhaam2ra2b9zh2gk2q0n5snlhx6glz86m3jf8hz037w920k41"; + sha256 = "FNrh3b6la2BuWCsriYP5gG0/KNbkFPuq/YTXTj0aJAI="; }; uuid = "clipboard-indicator@tudmotu.com"; - installPhase = '' - runHook preInstall - mkdir -p $out/share/gnome-shell/extensions/${uuid} - cp -r * $out/share/gnome-shell/extensions/${uuid} - runHook postInstall - ''; + nativeBuildInputs = [ + gettext + glib + ]; + + makeFlags = [ + "INSTALLPATH=${placeholder "out"}/share/gnome-shell/extensions/${uuid}/" + ]; meta = with lib; { description = "Adds a clipboard indicator to the top panel and saves clipboard history";