# /etc/bash/pathrc

# Load environment settings from profile.env, which is created by
# env-update from the files in /etc/env.d
if [ -e /etc/profile.env ] ; then
	. /etc/profile.env
fi

# Set up PATH depending on whether we're root or a normal user.
# There's no real reason to exclude sbin paths from the normal user,
# but it can make tab-completion easier when they aren't in the
# user's PATH to pollute the executable namespace.
#
# It is intentional in the following line to use || instead of -o.
# This way the evaluation can be short-circuited and calling whoami is
# avoided.
if [ "$EUID" = "0" ] || [ "$USER" = "root" ] ; then
	PATH="/srv/shared/sbin:/srv/shared/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin:${ROOTPATH}"
else
	PATH="/srv/shared/sbin:/srv/shared/bin:/usr/local/bin:/usr/bin:/bin:${PATH}"
fi
unset ROOTPATH

# colorgcc
if [ -d /usr/lib/colorgcc/bin ]; then
        PATH=/usr/lib/colorgcc/bin:"${PATH}"
fi

# icecream
if [ -d /usr/lib/icecc/bin ]; then
        PATH=/usr/lib/icecc/bin:"${PATH}"
fi

# ccache
if [ -d /usr/lib/ccache/bin ]; then
        PATH=/usr/lib/ccache/bin:"${PATH}"
fi

# set PATH so it includes user's private bin if it exists
if [ -d ~/bin ] ; then
    PATH=~/bin:"${PATH}"
fi
export PATH


# do the same with MANPATH
if [ -d ~/man ]; then
    MANPATH=~/man:"${MANPATH}"
    export MANPATH
fi