Merged detached head into master

This commit is contained in:
Jakobus Schürz 2020-11-15 22:19:57 +01:00
parent adf1236046
commit aad6c0529e

View file

@ -139,6 +139,11 @@ EOF
export PATH
fi
if [ -d "${HOME}/.local/bin" ] ; then
pathmunge "${HOME}/.local/bin"
export PATH
fi
# Check for interactive bash and that we haven't already been sourced.
if [ -n "${BASH_VERSION-}" -a -n "${PS1-}" -a -z "${BASH_COMPLETION_VERSINFO-}" ]; then