# The all-mighty profile!
# It will always get loaded before the zshrc or bashrc
+# (or, at least, bashrc and zshrc will source it)
if [[ $- != *i* ]] ; then
# We will never get farther than this unless we are at an interactive prompt
-if [[ $PROFILE_LOADED ]]; then
- echo "Not loading twice..."
export NAME="David Wolever"
+# These should be local on machines that don't like the mac's terminal
# don't put duplicate lines in the history. See bash(1) for more options