Re: [PATCH] Fix \H: Use getaddrinfo to get full hostname

From	Thomas Deutschmann <whissi@gentoo.org>
Newsgroups	gnu.bash.bug
Subject	Re: [PATCH] Fix \H: Use getaddrinfo to get full hostname
Date	2019-07-24 19:11 +0200
Organization	Gentoo Foundation, Inc
Message-ID	<mailman.2155.1563988281.2688.bug-bash@gnu.org> (permalink)
References	(2 earlier) <f1f2e8df-5921-b696-686b-de5aec362a25@gentoo.org> <20190724144629.GL1218@eeg.ccf.org> <571d32dc-3ad0-3c00-5d9b-82ace9c041ff@gentoo.org> <20190724153206.GM1218@eeg.ccf.org> <dd66dad5-41c9-0126-8678-5803637f47e5@gentoo.org>

Show all headers | View raw

[Multipart message — attachments visible in raw view] - view raw

On 2019-07-24 17:32, Greg Wooledge wrote:
> Your perspective is too limited.  Linux-based systems are very popular,
> but they're not the entire Unix world.
> 
> [...]
> 
> There is nothing "wrong" about this configuration.  I don't like it,
> and you clearly don't like it, but our opinions only matter to us.

OK :(

Thank you for the explanation!


-- 
Regards,
Thomas Deutschmann / Gentoo Linux Developer
C4DD 695F A713 8F24 2AA1 5638 5849 7EE5 1D5D 74A5

Back to gnu.bash.bug | Previous | Next | Find similar | Unroll thread

Thread

Re: [PATCH] Fix \H: Use getaddrinfo to get full hostname Thomas Deutschmann <whissi@gentoo.org> - 2019-07-24 19:11 +0200

csiph-web