Mirrors/home-manager
1
0
Fork 0
Code Issues Pull requests Actions Packages Projects Releases Wiki Activity

man: update database cache generation

Browse source 
Specifically, use the configured man-db package for generating the
database cache.
This commit is contained in:
Stanislav Asunkin 2022-12-29 11:40:05 +03:00 committed by Robert Helgesson
parent f97f191fe7
commit cbacdaba3c
No known key found for this signature in database
GPG key ID: 36BDAA14C2797E89
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
modules/programs/man.nix
View file

@ -69,7 +69,7 @@ in {
echo "MANDB_MAP ${manualPages}/share/man $out" > man.conf echo "MANDB_MAP ${manualPages}/share/man $out" > man.conf
# Run mandb to generate cache files: # Run mandb to generate cache files:
${pkgs.man-db}/bin/mandb -C man.conf --no-straycats --create \ ${cfg.package}/bin/mandb -C man.conf --no-straycats --create \
${manualPages}/share/man ${manualPages}/share/man
''; '';
in '' in ''