[RFC] Show (tilde-)expanded filenames to the user?

[Tom Tromey]

>>>>> "Pedro" == Pedro Alves <palves@redhat.com> writes:

Pedro> But, I think we should have a policy here, and all commands
Pedro> should follow it.  Those that don't would be considered
Pedro> bugs.  The question then is, which policy is most appropriate?
Pedro> grepping around for "tilde_expand", it seems to be the
Pedro> showing expanded filenames is more common.

I tend to think that showing the expanded name is best.
My reason is that this way the user sees what actually happened.

Tom