Merge pull request #174010 from teto/pgadmin-mainProgram

pgadmin: set mainProgram
This commit is contained in:
Ivv 2022-05-23 03:37:38 +02:00 committed by GitHub
commit fd49ac93ac
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -197,5 +197,6 @@ pythonPackages.buildPythonApplication rec {
license = licenses.mit;
changelog = "https://www.pgadmin.org/docs/pgadmin4/latest/release_notes_${lib.versions.major version}_${lib.versions.minor version}.html";
maintainers = with maintainers; [ gador ];
mainProgram = "pgadmin4";
};
}