[tz] Doubts about a typo fix
Steffen Nurpmeso
steffen at sdaoden.eu
Sat Nov 26 21:20:23 UTC 2022
G. Branden Robinson wrote in
<20221126035253.pli53qzgfx6tbax5 at illithid>:
|At 2022-11-25T18:18:46-0800, Paul Eggert wrote:
...
|> If we did that, Groff would set a source string like "\*-\*-help" as
|> "−−help", with two instances of U+2212 MINUS SIGN instead of U+002D
|> HYPHEN-MINUS. Therefore people couldn't cut and paste code examples
|> out of HTML or PDF, and into the shell.
|
|This hasn't been true for PDFs produced by groff for about 10
|years.[1][2] You can copy a U+2212 minus sign and it will paste as a
|U+002D.
It would be great if groff would release adjustments to grotty so
that one could again use copy+paste also in manuals. And now
please do not beat me onto that hyphen-minus for options, and that
one should do this or that, but it is for many other characters,
too. If i look at bash manual for example, hyphen-minus is ok,
but caret is not ^ but U+02C6 MODIFIER LETTER CIRCUMFLEX ACCENT,
and i see U+2018 LEFT SINGLE QUOTATION MARK instead of
single-quotes. That is cool and maybe milks the shit out of the
typographic capabilities of modern UTF-8 terminal emulators (i
think i quote you here, more or less), but i always have to use
"LC_ALL=C man XY" to enable copy+paste for myself. But hey, it is
only me, i am not a prof at an University who is prowd of dozens
of Noble price winners and other such prices, many of them still
worth something aka based upon scientific grounds.
--steffen
|
|Der Kragenbaer, The moon bear,
|der holt sich munter he cheerfully and one by one
|einen nach dem anderen runter wa.ks himself off
|(By Robert Gernhardt)
More information about the tz
mailing list