Thanks, I didn't know about history-expand-line.
Is there some case where shell-expand-line would actually be useful?
If I've typed "foo bar", I can't think of any case where I'd *want*
it to be replaced by foo bar, which has a very different meaning.
Of course the obvious answer is not to use it, but I'm wondering why
it's there.
I might just rearrange my key bindings so shell-expand-line is never
invoked (Escape-^ is just a little bit too awkward to type, and my
fingers are trained to type Escape-Ctrl-E). I guess I won't suggest any
change to bash, since it breaking existing documented behavior is
A Bad Thing.
(BTW, I've been using different fonts and bold for emphasis. Let me know
if that's a problem and you'd prefer just plain text on this list.)