chiark - git - mdw - profile/blob - dot/bash-profile

   1 ### -*-bash-*-
   2 ###
   3 ### Bash startup things.
   4
   5 ## Do the common shell profile things.
   6 . "$HOME/.profile"
   7
   8 ## Bash-specific hack: if we haven't run the `.bashrc' yet, and this shell is
   9 ## interactive, then run it now.
  10 case ${__mdw_bashrc+t} in
  11   t) ;;
  12   *) if [ -t 0 ] && [ -r "$HOME/.bashrc" ]; then . "$HOME/.bashrc"; fi ;;
  13 esac
  14
  15 ###----- That's all, folks --------------------------------------------------