From 66d2ec52e7341b03b0cec21b6eafa6a4c74dcb4e Mon Sep 17 00:00:00 2001
From: Vasyl Solovei <svsdep@gmail.com>
Date: Sun, 18 Mar 2018 10:57:37 +0200
Subject: [PATCH] gnomeExtensions.timepp: init at 2018.03.17
---
.../gnome-3/extensions/timepp/default.nix | 26 +++++++++++++++++++
pkgs/top-level/all-packages.nix | 1 +
2 files changed, 27 insertions(+)
create mode 100644 pkgs/desktops/gnome-3/extensions/timepp/default.nix
diff --git a/pkgs/desktops/gnome-3/extensions/timepp/default.nix b/pkgs/desktops/gnome-3/extensions/timepp/default.nix
new file mode 100644
index 00000000000..dcc018d1883
--- /dev/null
+++ b/pkgs/desktops/gnome-3/extensions/timepp/default.nix
@@ -0,0 +1,26 @@
+{ stdenv, fetchFromGitHub }:
+
+stdenv.mkDerivation rec {
+ name = "gnome-shell-extension-timepp-${version}";
+ version = "2018.03.17";
+
+ src = fetchFromGitHub {
+ owner = "zagortenay333";
+ repo = "timepp__gnome";
+ rev = "440cf85dc68d9e6ba876793f13910ee6239622cf";
+ sha256 = "0idsqsii5rvynvj78w2j7xiiz9rrl3384m5mj6bf6rg8vprpfi8v";
+ };
+
+ uuid = "timepp@zagortenay333";
+ installPhase = ''
+ mkdir -p $out/share/gnome-shell/extensions/${uuid}
+ cp -r . $out/share/gnome-shell/extensions/${uuid}
+ '';
+
+ meta = with stdenv.lib; {
+ description = " A todo.txt manager, time tracker, timer, stopwatch, pomodoro, and alarms gnome-shell extension.";
+ homepage = https://github.com/zagortenay333/timepp__gnome;
+ license = licenses.gpl3;
+ maintainers = with maintainers; [ svsdep ];
+ };
+}
diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix
index e8e6b900829..e997abc2c3d 100644
--- a/pkgs/top-level/all-packages.nix
+++ b/pkgs/top-level/all-packages.nix
@@ -19355,6 +19355,7 @@ with pkgs;
no-title-bar = callPackage ../desktops/gnome-3/extensions/no-title-bar { };
remove-dropdown-arrows = callPackage ../desktops/gnome-3/extensions/remove-dropdown-arrows { };
taskwhisperer = callPackage ../desktops/gnome-3/extensions/taskwhisperer { };
+ timepp = callPackage ../desktops/gnome-3/extensions/timepp { };
topicons-plus = callPackage ../desktops/gnome-3/extensions/topicons-plus { };
};