1{
2 lib,
3 stdenv,
4 fetchzip,
5 gnome-shell,
6 gettext,
7 glib,
8}:
9
10stdenv.mkDerivation rec {
11 pname = "gnome-shell-extension-clock-override";
12 version = "12";
13
14 src = fetchzip {
15 url = "https://extensions.gnome.org/extension-data/clock-overridegnomeshell.kryogenix.org.v${version}.shell-extension.zip";
16 sha256 = "1cyaszks6bwnbgacqsl1pmr24mbj05mad59d4253la9am8ibb4m6";
17 stripRoot = false;
18 };
19
20 passthru = {
21 extensionUuid = "clock-override@gnomeshell.kryogenix.org";
22 extensionPortalSlug = "clock-override";
23 };
24
25 nativeBuildInputs = [
26 gettext
27 glib
28 ];
29
30 buildPhase = ''
31 runHook preBuild
32 glib-compile-schemas --strict --targetdir=schemas schemas
33 runHook postBuild
34 '';
35
36 installPhase = ''
37 runHook preInstall
38 mkdir -p "$out/share/gnome-shell/extensions/clock-override@gnomeshell.kryogenix.org"
39 cp -r {convenience.js,extension.js,format.js,locale,metadata.json,prefs.js,schemas} "$out/share/gnome-shell/extensions/clock-override@gnomeshell.kryogenix.org"
40 runHook postInstall
41 '';
42
43 meta = with lib; {
44 description = "Customize the date and time format displayed in clock in the top bar in GNOME Shell";
45 license = licenses.mit;
46 maintainers = with maintainers; [ rhoriguchi ];
47 homepage = "https://github.com/stuartlangridge/gnome-shell-clock-override";
48 broken = versionOlder gnome-shell.version "3.18";
49 };
50}