jetbrains.gateway: Fix product name

This commit is contained in:
Steven Kou 2022-12-07 17:20:25 +08:00
parent 8c46c7ae23
commit 9ac60ccc7e
No known key found for this signature in database
GPG Key ID: D0D4BCFA8DB68E35

View File

@ -93,10 +93,10 @@ let
};
});
buildGateway = { pname, version, src, license, description, wmClass, ... }:
buildGateway = { pname, version, src, license, description, wmClass, product, ... }:
(mkJetBrainsProduct {
inherit pname version src wmClass jdk;
product = "Gateway";
inherit pname version src wmClass jdk product;
productShort = "Gateway";
meta = with lib; {
homepage = "https://www.jetbrains.com/remote-development/gateway/";
inherit description license platforms;
@ -328,6 +328,7 @@ in
gateway = buildGateway rec {
pname = "gateway";
product = "JetBrains Gateway";
version = products.gateway.version;
description = "Your single entry point to all remote development environments";
license = lib.licenses.unfree;