config/homedir/.profile

   1 # if running bash
   2 if [ -n "$BASH_VERSION" ]; then
   3     # include .bashrc if it exists
   4     if [ -f "$HOME/.bashrc" ]; then
   5         . "$HOME/.bashrc"
   6     fi
   7 fi
   8
   9 # set PATH so it includes user's private bin if it exists
  10 if [ -d "$HOME/bin" ] ; then
  11     PATH="$HOME/bin:$PATH"
  12 fi