.profile.d/BECOME.bashrc

   1 # Export PROFILE_HOME to the environment if we need to preserve it.
   2 if [ -n "$PROFILE_HOME" ]; then
   3   [ "$PROFILE_HOME" = "$HOME" ] || export PROFILE_HOME
   4 fi
   5
   6 # Find a path, preferring the target user's version.
   7 function find_target_profile() {
   8   local path="$1"; shift
   9
  10   for dir in $HOME $PROFILE_HOME; do
  11     if [ -e "$dir/$path" ]; then
  12       echo "$dir/$path"
  13       break
  14     fi
  15   done
  16
  17   unset dir
  18 }
  19
  20 # Find a path, preferring the source user's version.
  21 function find_source_profile() {
  22   local path="$1"; shift
  23
  24   for dir in $PROFILE_HOME $HOME; do
  25     if [ -e "$dir/$path" ]; then
  26       echo "$dir/$path"
  27       break
  28     fi
  29   done
  30
  31   unset dir
  32 }