Do not reload bash history immediately