blob: 91c0f8675ca1174cdea5076432a28361fa1592b1 (
plain) (
tree)
|
|
# Load ~/.profile regardless of shell version
if test -e "$HOME"/.profile ; then
. "$HOME"/.profile
fi
# Ensure we're using at least version 2.05
if ! test -n "$BASH_VERSINFO" ; then
return
elif ((10#${BASH_VERSINFO[0]%%[![:digit:]]*} == 2)) \
&& ((10#${BASH_VERSINFO[1]%%[![:digit:]]*} < 5)) ; then
return
fi
# Source interactive Bash config if it exists
if [[ -e $HOME/.bashrc ]] ; then
source "$HOME"/.bashrc
fi
|