# History related options first, or else
# we risk screwing up history history. And this is duplicated
# in ~/.bash_profile just for good measure
# History related options first, or else
# we risk screwing up history history. And this is duplicated
# in ~/.bash_profile just for good measure