gnomeExtensions.systemd-manager: package manually

As per https://extensions.gnome.org/extension/4174/systemd-manager/ this
is no longer uploaded to e.g.o

pkgs/desktops/gnome/extensions/manuallyPackaged.nix

@@ -11,6 +11,7 @@
  "pidgin@muffinmad" = callPackage ./pidgin-im-integration { };
  "[email protected]" = callPackage ./pop-shell { };
  "[email protected]" = callPackage ./sound-output-device-chooser { };
+ "[email protected]" = callPackage ./systemd-manager { };
  "[email protected]" = callPackage ./taskwhisperer { };
  "[email protected]" = callPackage ./tilingnome { };
  "[email protected]" = callPackage ./topicons-plus { };

pkgs/desktops/gnome/extensions/systemd-manager/default.nix

@@ -0,0 +1,42 @@
+{
+ lib,
+ stdenvNoCC,
+ fetchFromGitHub,
+ glib,
+}:
+
+stdenvNoCC.mkDerivation rec {
+ pname = "gnome-shell-extension-systemd-manager";
+ version = "16";
+
+ # Upstream doesn't post new versions in extensions.gnome.org anymore, see also:
+ # https://github.com/hardpixel/systemd-manager/issues/19
+ src = fetchFromGitHub {
+ owner = "hardpixel";
+ repo = "systemd-manager";
+ rev = "v${version}";
+ hash = "sha256-JecSIRj582jJWdrCQYBWFRkIhosxRhD3BxSAy8/0nVw=";
+ };
+
+ nativeBuildInputs = [ glib ];
+
+ postInstall = ''
+ rm [email protected]/schemas/gschemas.compiled
+ glib-compile-schemas [email protected]/schemas
+
+ mkdir -p $out/share/gnome-shell/extensions
+ mv [email protected] $out/share/gnome-shell/extensions
+ '';
+
+ passthru = {
+ extensionUuid = "[email protected]";
+ extensionPortalSlug = "systemd-manager";
+ };
+
+ meta = with lib; {
+ description = "GNOME Shell extension to manage systemd services";
+ homepage = "https://github.com/hardpixel/systemd-manager";
+ license = licenses.gpl3Only;
+ maintainers = with maintainers; [ linsui ];
+ };
+}