On 06/27/2013 06:38 PM, Pedro Alves wrote: > But instead of that, then, which I'd call a hack, we should > instead do: Or better yet, do as Tom suggests, as I believe we do want to print the non-canonical string here, exactly as --host was specified. -- Pedro Alves