-
-
Save anonymous/f88f88dc058824db3e7fcca9458168ae to your computer and use it in GitHub Desktop.
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
root@lethe ~ # man 0p time.h | |
No manual entry for 0p | |
No manual entry for time.h | |
root@lethe ~ # mandb | |
/run/current-system/sw/bin/mandb: warning: $MANPATH set, prepending /nix/store/rwlpxkjpmrvh5d478brpk8hr3s7j1yy8-man-db-2.7.5/etc/man_db.conf | |
Processing manual pages under /run/current-system/sw/share/man... | |
/run/current-system/sw/bin/mandb: warning: cannot create catdir /var/cache/man | |
/run/current-system/sw/bin/mandb: can't create index cache /var/cache/man/11107: No such file or directory | |
/run/current-system/sw/bin/mandb: can't update index cache /var/cache/man/11107: No such file or directory | |
done. | |
root@lethe ~ # file /run/current-system/sw/share/man/man0p/time.h.0p.gz | |
/run/current-system/sw/share/man/man0p/time.h.0p.gz: gzip compressed data, from Unix |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment