+if [ -t 0 -o "${0:0:1}" = "-" -o "$1" = "force" ]; then
+ # Set up PROFILE_HOME if called outside HOME.
+ if [ -z "$PROFILE_HOME" ]; then
+ # BASH_SOURCE isn't available prior to bash 3.
+ profile_home=${BASH_SOURCE%/*}
+ [ -n "$profile_home" -a -d "$profile_home" -a ! "${profile_home:0:1}" = "/" ] && profile_home=$(readlink -f "$profile_home" 2>/dev/null)
+ [ "$profile_home" = "$BASH_SOURCE" ] && profile_home=$PWD
+ [ "$profile_home" = "$HOME" ] || PROFILE_HOME=$profile_home
+ PROFILE_RC="$profile_home/.bash_profile"
+ unset profile_home
+ fi
+