Re: [PATCH] posix.py: ffix: Correctly format URIs

["Alejandro Colomar (man-pages)" <alx.manpages@gmail.com>]

Hi Jakub and Branden,

On 1/12/21 9:51 PM, Jakub Wilk wrote:
>> On 1/10/21 7:50 AM, G. Branden Robinson wrote:
>>> They use left and right angle bracket special character escapes
>>> (Unicode U+2039 and U+203A)
> 
> I think that's a bug in groff. It should use plain <> for URLs, at least
> for tty output devices.
> 
> * Alejandro Colomar <alx.manpages@gmail.com>, 2021-01-10, 15:35:
>> I checked, and yes, it renders some character (the character depends
>> on the terminal: on tty I've seen a diamond, and on the xfce terminal
>> something similar (but slightly different) to a parenthesis).
> 
> Your console font doesn't support U+2039/U+203A and uses diamond as a
> replacement character.
> 
> I have this in /etc/groff/mdoc.local and /etc/groff/mdoc.local as a
> work-around:
> 
> .  if '\V[TERM]'linux' \
> .    tr \[la]<
> .  if '\V[TERM]'linux' \
> .    tr \[ra]>
> 
> (In the long run, I should probably fix the font instead.)
> 

After seeing Branden's answer to Michael (Escaping hyphens),
I've seen groff_char(7), and I found that my tty correctly supports
U+2039 and U+203A.  I clearly see the symbols I would expect: something
quite similar to plain <>, but a bit more obtuse.

In the XFCE terminal, I also see something quite expected: a slightly
smaller version of <>.

But both show me very different characters for .UR/.UE.
tty displays a diamond, and XFCE term displays (a weird version of)
round parentheses.

So... does it mean there's a bug in .UR/.UE?

Thanks,

Alex