Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
at devShellTools-shell 50 lines 1.4 kB view raw
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}