diff options
Diffstat (limited to '')
| -rw-r--r-- | profile/.profile.d/30_manpath.sh | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/profile/.profile.d/30_manpath.sh b/profile/.profile.d/30_manpath.sh new file mode 100644 index 0000000..af4273e --- /dev/null +++ b/profile/.profile.d/30_manpath.sh @@ -0,0 +1,17 @@ +#!/bin/sh + +manpath_append() { + [ ! -d "${1}" ] && return + echo "${MANPATH}" | grep -q "\(:\|^\)${1}\(:\|$\)" && return + export MANPATH="${MANPATH}:${1}" +} + +manpath_prepend() { + [ ! -d "${1}" ] && return + echo "${MANPATH}" | grep -q "\(:\|^\)${1}\(:\|$\)" && return + export MANPATH="${1}:${MANPATH}" +} + +manpath_prepend "/usr/share/man" +manpath_prepend "/usr/local/share/man" +manpath_prepend "${HOME}/.local/share/man" |