. "$HOME"/.shellrc
+if [ "$HISTFILE" = "$HOME/.bash_history" ]; then
+ # This is the default value set by interactive bash
+ # when the global value was unset. Unset it here too.
+ unset HISTFILE
+fi
+
# append to the history file, don't overwrite it
shopt -s histappend