I was trying to reload the bash history file which changed by another bash session with the following commands, but it wouldn't work, please help me, why?
``` new_history=$(history -a /dev/stdout) history -c history -r echo "$new_history" | history -r /dev/stdin ```