dd306caf155f80192953a77647d6f7631ac83244
David Blume first commit

David Blume authored 8 years ago

1) # ~/.bash_profile: executed by bash for login shells.
2) 
David Blume Add a few c++ aliases, and...

David Blume authored 8 years ago

3) if [ -f "${HOME}/.bashrc" ]; then
4)     source "${HOME}/.bashrc"
David Blume first commit

David Blume authored 8 years ago

5) fi
David Blume Better to let short circuit...

David Blume authored 6 years ago

6) if [[ -n $ITERM_PROFILE && -z $SSH_CLIENT &&
David Blume Fix mixed indent issue.

David Blume authored 5 years ago

7)     $(uname -s) == Darwin* && -f "${HOME}/tips.txt" ]]; then
David Blume Consistent use of HOME vari...

David Blume authored 6 years ago

8)     cat "${HOME}/tips.txt"