#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
fi
fi
fi
+
+
# ensure no bad programs appending to this file will have an affect
return 0