Bash Keyboard Shortcuts! How Readline Is Used.