Shared history in Bash.