Add a default man path (#45689)

It seems that on some Linux distribution (Fedora 28, Debian), man will
not fallback on a default path if MANPATH is set. So using the env-setup
script will prevent man from working.
This commit is contained in:
Michael Scherer 2018-09-18 00:31:39 +02:00 committed by Brian Coca
parent 2167ce6cb6
commit 83db157c35

View file

@ -20,7 +20,7 @@ prepend_path()
# Default values for shell variables we use
PYTHONPATH=${PYTHONPATH-""}
PATH=${PATH-""}
MANPATH=${MANPATH-""}
MANPATH=${MANPATH-$(manpath)}
PYTHON=$(which python 2>/dev/null || which python3 2>/dev/null)
PYTHON_BIN=${PYTHON_BIN-$PYTHON}