Merge pull request #283578 from hraban/bat-extras-pname

bat-extras: set pname to executable name
This commit is contained in:
Bruno Bigras 2024-02-17 00:52:29 -05:00 committed by GitHub
commit e51ce7cd44
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -94,7 +94,7 @@ let
name: # the name of the script
dependencies: # the tools we need to prefix onto PATH
stdenv.mkDerivation {
pname = "${core.pname}-${name}";
pname = name;
inherit (core) version;
src = core;
@ -133,7 +133,9 @@ let
# We already patched
dontPatchShebangs = true;
inherit (core) meta;
meta = core.meta // {
mainProgram = name;
};
};
optionalDep = cond: dep:
assert cond -> dep != null;