2016-09-18 09:45:10 +01:00
|
|
|
thisroot () {
|
|
|
|
# Workaround thisroot.sh dependency on man
|
2019-11-24 22:51:46 +00:00
|
|
|
if [ -z "${MANPATH-}" ]; then
|
2016-09-18 09:45:10 +01:00
|
|
|
MANPATH=:
|
|
|
|
fi
|
2019-11-24 22:51:46 +00:00
|
|
|
local oldOpts="-u"
|
|
|
|
shopt -qo nounset || oldOpts="+u"
|
|
|
|
set +u
|
2016-09-18 09:45:10 +01:00
|
|
|
source @out@/bin/thisroot.sh
|
2019-11-24 22:51:46 +00:00
|
|
|
set "$oldOpts"
|
2016-09-18 09:45:10 +01:00
|
|
|
}
|
|
|
|
|
2016-10-29 19:47:32 +01:00
|
|
|
postHooks+=(thisroot)
|