Commit | Line | Data |
---|---|---|
ca7933c9 | 1 | ### -*-bash-*- |
59c9c0e4 | 2 | ### |
74a53e28 | 3 | ### Bash startup things. |
f617db13 | 4 | |
74a53e28 MW |
5 | ## Do the common shell profile things. |
6 | . "$HOME/.profile" | |
f617db13 | 7 | |
74a53e28 MW |
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 ;; | |
93ba996d | 13 | esac |
59c9c0e4 MW |
14 | |
15 | ###----- That's all, folks -------------------------------------------------- |