From 07c7d1ed9586eef5e5941762d52e21e155df6d77 Mon Sep 17 00:00:00 2001 From: Ben Grande Date: Sun, 4 Feb 2024 19:49:06 +0100 Subject: [PATCH] feat: set manual page and GNU Info paths Useful to have a directory that is user writable to drop-in manual pages of programs that are only run by user and not superuser or other users. --- files/sh/.config/sh/profile | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/files/sh/.config/sh/profile b/files/sh/.config/sh/profile index f7a25cf..669b180 100644 --- a/files/sh/.config/sh/profile +++ b/files/sh/.config/sh/profile @@ -36,8 +36,10 @@ export SHDIR BASHDIR ZDOTDIR PATH="$HOME/bin:$HOME/.local/bin/$HOSTNAME:$HOME/.local/bin" PATH="$PATH:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin" PATH="$PATH:/usr/local/games:/usr/games" -# INFOPATH="/usr/local/share/info:/usr/local/info:/usr/share/info:/usr/info" -# MANPATH="/usr/local/man:/usr/local/share/man:/usr/share/man:/usr/man" +INFOPATH="$HOME/.local/share/info:/usr/local/share/info:/usr/local/info" +INFOPATH="$INFOPATH:/usr/share/info:/usr/info" +MANPATH="$HOME/.local/share/man:/usr/local/man:/usr/local/share/man" +MANPATH="$MANPATH:/usr/X11R6/man:/opt/man:/snap/man:/usr/man:/usr/share/man" ENV="$SHDIR/shrc" BASH_ENV="$BASHDIR/bash_env" TMPDIR="/tmp"