jetty: add passthru.updateScript

This commit is contained in:
Anthony Roussel 2024-07-14 20:45:50 +02:00
parent fa9c8bb1b1
commit f0e575ba95
No known key found for this signature in database
GPG Key ID: 9DC4987B1A55E75E

View File

@ -1,6 +1,6 @@
{ version, hash }:
{ lib, stdenvNoCC, fetchurl }:
{ lib, stdenvNoCC, fetchurl, gitUpdater }:
stdenvNoCC.mkDerivation rec {
pname = "jetty";
@ -19,6 +19,13 @@ stdenvNoCC.mkDerivation rec {
mv etc lib modules start.jar $out
'';
passthru.updateScript = gitUpdater {
url = "https://github.com/jetty/jetty.project.git";
allowedVersions = "^${lib.versions.major version}\\.";
ignoredVersions = "(alpha|beta).*";
rev-prefix = "jetty-";
};
meta = with lib; {
description = "Web server and javax.servlet container";
homepage = "https://eclipse.dev/jetty/";