commit 9067bf0ff7568c58734478cb139a34afc8eef224 parent ead1b991ddc8a451e6c0c97b740a6e1310477894 Author: Robert Russell <robert@rr3.xyz> Date: Sat, 29 Aug 2026 15:13:48 -0700 shell: fix MANPATH Diffstat:
| M | shell/.config/profile.d/10-manpath.sh | | | 3 | +++ |
1 file changed, 3 insertions(+), 0 deletions(-)
diff --git a/shell/.config/profile.d/10-manpath.sh b/shell/.config/profile.d/10-manpath.sh @@ -1,3 +1,6 @@ +# This overrides /etc/man.conf, so we have to add everything. +append_manpath /usr/share/man +append_manpath /usr/local/share/man append_manpath "$HOME"/.local/share/man export MANPATH