diff options
author | Jan Tojnar <jtojnar@gmail.com> | 2021-05-07 23:18:14 +0200 |
---|---|---|
committer | Jan Tojnar <jtojnar@gmail.com> | 2021-05-08 09:47:42 +0200 |
commit | 468cb5980b56d348979488a74a9b5de638400160 (patch) | |
tree | 1426485105b897074e82af80efdd545462edb211 /pkgs/desktops/gnome/extensions/clock-override/default.nix | |
parent | d03a5eb09720fd6ad670df12d8eafbbfcd7ff494 (diff) |
gnome: rename from gnome3
Since GNOME version is now 40, it no longer makes sense to use the old attribute name.
Diffstat (limited to 'pkgs/desktops/gnome/extensions/clock-override/default.nix')
-rw-r--r-- | pkgs/desktops/gnome/extensions/clock-override/default.nix | 37 |
1 files changed, 37 insertions, 0 deletions
diff --git a/pkgs/desktops/gnome/extensions/clock-override/default.nix b/pkgs/desktops/gnome/extensions/clock-override/default.nix new file mode 100644 index 0000000000000..3e02d33857a69 --- /dev/null +++ b/pkgs/desktops/gnome/extensions/clock-override/default.nix @@ -0,0 +1,37 @@ +{ lib, stdenv, fetchzip, gnome, gettext, glib }: + +stdenv.mkDerivation rec { + pname = "gnome-shell-extension-clock-override"; + version = "12"; + + src = fetchzip { + url = "https://extensions.gnome.org/extension-data/clock-overridegnomeshell.kryogenix.org.v${version}.shell-extension.zip"; + sha256 = "1cyaszks6bwnbgacqsl1pmr24mbj05mad59d4253la9am8ibb4m6"; + stripRoot = false; + }; + + uuid = "clock-override@gnomeshell.kryogenix.org"; + + nativeBuildInputs = [ gettext glib ]; + + buildPhase = '' + runHook preBuild + glib-compile-schemas --strict --targetdir=schemas schemas + runHook postBuild + ''; + + installPhase = '' + runHook preInstall + mkdir -p $out/share/gnome-shell/extensions/${uuid} + cp -r {convenience.js,extension.js,format.js,locale,metadata.json,prefs.js,schemas} $out/share/gnome-shell/extensions/${uuid} + runHook postInstall + ''; + + meta = with lib; { + description = "Customize the date and time format displayed in clock in the top bar in GNOME Shell"; + license = licenses.mit; + maintainers = with maintainers; [ rhoriguchi ]; + homepage = "https://github.com/stuartlangridge/gnome-shell-clock-override"; + broken = versionOlder gnome.gnome-shell.version "3.18"; + }; +} |