#exec 2>>/a/tmp/bashlog
+
# History related options first, or else
# we risk screwing up history history. And this is duplicated
# in ~/.bash_profile just for good measure
# see comments in brc2 sl() function for background.
if [[ $SSH_CONNECTION ]] \
&& [[ $BRC != t ]]; then
+ brc() {
+ export BRC=t
+ source ~/.bashrc
+ }
return 0
else
fi
fi
fi
+
+
# ensure no bad programs appending to this file will have an affect
return 0