diff options
Diffstat (limited to 'pkgs/desktops/gnome/extensions/timepp/default.nix')
-rw-r--r-- | pkgs/desktops/gnome/extensions/timepp/default.nix | 28 |
1 files changed, 28 insertions, 0 deletions
diff --git a/pkgs/desktops/gnome/extensions/timepp/default.nix b/pkgs/desktops/gnome/extensions/timepp/default.nix new file mode 100644 index 00000000000..cb4234a2513 --- /dev/null +++ b/pkgs/desktops/gnome/extensions/timepp/default.nix @@ -0,0 +1,28 @@ +{ lib, stdenv, fetchFromGitHub, gnome }: + +stdenv.mkDerivation rec { + pname = "gnome-shell-extension-timepp"; + version = "unstable-2020-03-15"; + + src = fetchFromGitHub { + owner = "zagortenay333"; + repo = "timepp__gnome"; + rev = "34ae477a51267cc1e85992a80cf85a1a7b7005c1"; + sha256 = "1v0xbrp0x5dwizscxh7h984pax4n92bj8iyw3qvjk27ynpxq8ag1"; + }; + + uuid = "timepp@zagortenay333"; + installPhase = '' + runHook preInstall + mkdir -p $out/share/gnome-shell/extensions/${uuid} + cp -r . $out/share/gnome-shell/extensions/${uuid} + runHook postInstall + ''; + + meta = with 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 ]; + }; +} |