unix-tools: install man pages
This commit is contained in:
parent
919dda7aba
commit
9395d05b65
@ -13,18 +13,22 @@
|
|||||||
let
|
let
|
||||||
|
|
||||||
singleBinary = cmd: providers: let
|
singleBinary = cmd: providers: let
|
||||||
provider = "${lib.getBin providers.${hostPlatform.parsed.kernel.name}}/bin/${cmd}";
|
provider = lib.getBin providers.${hostPlatform.parsed.kernel.name};
|
||||||
in runCommand cmd {
|
in runCommand cmd {
|
||||||
meta.platforms = map (n: { kernel.name = n; }) (pkgs.lib.attrNames providers);
|
meta.platforms = map (n: { kernel.name = n; }) (pkgs.lib.attrNames providers);
|
||||||
} ''
|
} ''
|
||||||
mkdir -p $out/bin
|
mkdir -p $out/bin $out/share/man/man1
|
||||||
|
|
||||||
if ! [ -x "${provider}" ]; then
|
if ! [ -x "${provider}/bin/${cmd}" ]; then
|
||||||
echo "Cannot find command ${cmd}"
|
echo "Cannot find command ${cmd}"
|
||||||
exit 1
|
exit 1
|
||||||
fi
|
fi
|
||||||
|
|
||||||
cp "${provider}" "$out/bin/${cmd}"
|
cp "${provider}/bin/${cmd}" "$out/bin/${cmd}"
|
||||||
|
|
||||||
|
if [ -f "${provider}/share/man/man1/${cmd}.1.gz" ]; then
|
||||||
|
cp "${provider}/share/man/man1/${cmd}.1.gz" "$out/share/man/man1/${cmd}.1.gz"
|
||||||
|
fi
|
||||||
'';
|
'';
|
||||||
|
|
||||||
in rec {
|
in rec {
|
||||||
|
Loading…
x
Reference in New Issue
Block a user