Changed bash history options to allow more reliable history numbers